| 2012-01-17 |
jjenista | get set up for experiment: test impact of disabling...
|
commit | commitdiff | tree |
| 2012-01-09 |
jjenista | defreach experiment
|
commit | commitdiff | tree |
| 2012-01-09 |
jjenista | convergence test for defreach
|
commit | commitdiff | tree |
| 2012-01-06 |
jjenista | this little example only parallelizes for oooj with...
|
commit | commitdiff | tree |
| 2012-01-06 |
jjenista | get this dir too
|
commit | commitdiff | tree |
| 2012-01-06 |
jjenista | not working out like I wanted
|
commit | commitdiff | tree |
| 2012-01-06 |
jjenista | a useful example that needs defreach
|
commit | commitdiff | tree |
| 2012-01-06 |
jjenista | tweaks for running definite reach
|
commit | commitdiff | tree |
| 2011-11-18 |
jjenista | vector resize isn't a problem, even without definite...
|
commit | commitdiff | tree |
| 2011-11-18 |
jjenista | fixed double negate bug, 3rd case of def reach works now
|
commit | commitdiff | tree |
| 2011-11-17 |
jjenista | case 3 of definite reach, all coded but has bugs because...
|
commit | commitdiff | tree |
| 2011-11-11 |
jjenista | got 2nd case of def reach up and running, one to go
|
commit | commitdiff | tree |
| 2011-11-10 |
jjenista | working on the second case where definite reach can...
|
commit | commitdiff | tree |
| 2011-11-10 |
jjenista | AWESOME. Used just the R relation of definite reach...
|
commit | commitdiff | tree |
| 2011-11-10 |
jjenista | successfully keep def reach info just for the store...
|
commit | commitdiff | tree |
| 2011-11-10 |
jjenista | bug fix: retrieve by full key returned empty set, now...
|
commit | commitdiff | tree |
| 2011-11-09 |
jjenista | def reach has to use PointerMethod to detect CFG edges...
|
commit | commitdiff | tree |
| 2011-11-08 |
jjenista | fix silly off-by-one bug
|
commit | commitdiff | tree |
| 2011-11-07 |
jjenista | found a bug, results still empty
|
commit | commitdiff | tree |
| 2011-11-07 |
jjenista | transfer funcs for the R relation of def reach coded...
|
commit | commitdiff | tree |
| 2011-10-28 |
jjenista | looks like the output is Left and Right channels interleaved...
|
commit | commitdiff | tree |
| 2011-10-27 |
jjenista | make it easy to collect data for the paper's error...
|
commit | commitdiff | tree |
| 2011-10-27 |
jjenista | exploring error injection space
|
commit | commitdiff | tree |
| 2011-10-26 |
jjenista | the static inner classes are not being used, but Subu...
|
commit | commitdiff | tree |
| 2011-10-26 |
jjenista | tweak scripts to take mp3 filename argument
|
commit | commitdiff | tree |
| 2011-10-26 |
jjenista | restrict error injection to non-array primitive types...
|
commit | commitdiff | tree |
| 2011-10-25 |
jjenista | def reach coming along
|
commit | commitdiff | tree |
| 2011-10-25 |
jjenista | implementing def reach transfer funcs for R
|
commit | commitdiff | tree |
| 2011-10-22 |
jjenista | decouple ssjava code gen to prevent crashes from the...
|
commit | commitdiff | tree |
| 2011-10-22 |
jjenista | automate trying different error probabilities and seeds
|
commit | commitdiff | tree |
| 2011-10-21 |
jjenista | instrument an injected error and plot differences in...
|
commit | commitdiff | tree |
| 2011-10-21 |
jjenista | hacks
|
commit | commitdiff | tree |
| 2011-10-21 |
jjenista | some extras for multiviewmaps
|
commit | commitdiff | tree |
| 2011-10-21 |
jjenista | Please don't check in debug lines, por favor :)
|
commit | commitdiff | tree |
| 2011-10-21 |
jjenista | a start on error inject for SSJava
|
commit | commitdiff | tree |
| 2011-10-21 |
jjenista | going to start with just enough definite reach analysis...
|
commit | commitdiff | tree |
| 2011-10-20 |
jjenista | a short, clear example that definite reachability will...
|
commit | commitdiff | tree |
| 2011-10-13 |
jjenista | OoOJava benchmarks, including barnes-hut NOT parallelizing...
|
commit | commitdiff | tree |
| 2011-10-13 |
jjenista | Forgot to add the OoOJava-specific class directory
|
commit | commitdiff | tree |
| 2011-10-13 |
jjenista | Bug fix, sometimes an edge matches except it has a...
|
commit | commitdiff | tree |
| 2011-10-13 |
jjenista | Allow buildscript user to set the compiler's JVM heap...
|
commit | commitdiff | tree |
| 2011-10-13 |
jjenista | move heap size of output program into the benchmark...
|
commit | commitdiff | tree |
| 2011-10-07 |
jjenista | fix a bug for Taint similar to ReachState, when either...
|
commit | commitdiff | tree |
| 2011-10-05 |
jjenista | accidentally commited tinker code yesterday
|
commit | commitdiff | tree |
| 2011-10-04 |
jjenista | Bug fix, subtle errors in exist pred hashcode, and...
|
commit | commitdiff | tree |
| 2011-10-04 |
jjenista | a test that exposed a cyclic hashcode bug and some...
|
commit | commitdiff | tree |
| 2011-10-04 |
jjenista | A test that exposed the bug that I just fixed
|
commit | commitdiff | tree |
| 2011-10-04 |
jjenista | the bug I've been chasing, a critical one-letter typo...
|
commit | commitdiff | tree |
| 2011-10-04 |
jjenista | double-check the context conversions of out-of-context...
|
commit | commitdiff | tree |
| 2011-10-04 |
jjenista | slight code improvements
|
commit | commitdiff | tree |
| 2011-09-27 |
jjenista | put unit tests here
|
commit | commitdiff | tree |
| 2011-09-27 |
jjenista | just documenting what this is for
|
commit | commitdiff | tree |
| 2011-09-26 |
jjenista | Incrementing on definite reach analysis
|
commit | commitdiff | tree |
| 2011-09-22 |
jjenista | Be able to get def reach state out at a given program...
|
commit | commitdiff | tree |
| 2011-09-22 |
jjenista | get hooked into disjoint
|
commit | commitdiff | tree |
| 2011-09-22 |
jjenista | getting definite reach analysis set up as a fixed point...
|
commit | commitdiff | tree |
| 2011-09-21 |
jjenista | Starting implementation for definite reachability analysis
|
commit | commitdiff | tree |
| 2011-09-21 |
jjenista | guard a Tilera-only line
|
commit | commitdiff | tree |
| 2011-09-21 |
jjenista | A MultiViewMap is a generalization of the VarSrcTokTable...
|
commit | commitdiff | tree |
| 2011-06-11 |
jjenista | tinkering with debug stuff for barnes-hut
|
commit | commitdiff | tree |
| 2011-06-11 |
jjenista | a mini version of barnes hut
|
commit | commitdiff | tree |
| 2011-06-11 |
jjenista | a test that actually worked fine, but shows bad convergence...
|
commit | commitdiff | tree |
| 2011-06-10 |
jjenista | Bug fix: in some cases we really do want the heap region...
|
commit | commitdiff | tree |
| 2011-06-03 |
jjenista | fixed a bug where a single argument is passed in as...
|
commit | commitdiff | tree |
| 2011-06-02 |
jjenista | without this the call stie debug was capturing an immense...
|
commit | commitdiff | tree |
| 2011-06-02 |
jjenista | forgot to remove some commented out code
|
commit | commitdiff | tree |
| 2011-06-01 |
jjenista | if a static field is encountered, ignore it gracefully
|
commit | commitdiff | tree |
| 2011-06-01 |
jjenista | comment out import statements while we are between...
|
commit | commitdiff | tree |
| 2011-06-01 |
jjenista | check points-to module improvements along with a bug...
|
commit | commitdiff | tree |
| 2011-05-31 |
jjenista | name flat IR graphs to include method signature to...
|
commit | commitdiff | tree |
| 2011-05-20 |
jjenista | allow Pointer to run for usual compilation modes.....
|
commit | commitdiff | tree |
| 2011-05-18 |
jjenista | bug fix: heap contexts for call sites were propgated...
|
commit | commitdiff | tree |
| 2011-05-16 |
jjenista | Create analysis model for string literals in disjointness...
|
commit | commitdiff | tree |
| 2011-05-14 |
jjenista | print allocation site when a points-to check fails...
|
commit | commitdiff | tree |
| 2011-05-13 |
jjenista | model the allocation of string literals in heap analysis
|
commit | commitdiff | tree |
| 2011-05-13 |
jjenista | this system checks heap results against runtime pointers...
|
commit | commitdiff | tree |
| 2011-05-13 |
jjenista | isImmutable is used by the disjoint family of analyses...
|
commit | commitdiff | tree |
| 2011-05-13 |
jjenista | print out brackets for array count to show humans
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | differentiate between analysis says something points...
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | revert previous change: DROPPING THE GRUNGE HAMMER...
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | allow external systems to write a flatIR graph
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | show source code line numbers for this target
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | only do this if we are using oooj-style tasks after...
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | did we just ignore the static field modifier before...
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | clean up points-to-check files properly
|
commit | commitdiff | tree |
| 2011-05-10 |
jjenista | New tool to check points-to results of a heap analysis...
|
commit | commitdiff | tree |
| 2011-05-10 |
jjenista | imports are meaningful to compiler now
|
commit | commitdiff | tree |
| 2011-05-05 |
jjenista | disjoint should work like pointer in that taints for...
|
commit | commitdiff | tree |
| 2011-05-05 |
jjenista | an outstanding change to improve debugging of call...
|
commit | commitdiff | tree |
| 2011-05-03 |
jjenista | allow debug reach graphs to show taints but supress...
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | improve call site debugging for disjoint
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | the new compiler mode in buildscript SSJAVA needed...
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | Let end user see what classpath was selected.
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | run ooojava and rcrpointer that print out effects and...
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | change the debug mode for capturing null dereference...
|
commit | commitdiff | tree |
| 2011-04-25 |
jjenista | update the way this analysis visits every method reachable...
|
commit | commitdiff | tree |
| 2011-04-21 |
jjenista | better implementation of this
|
commit | commitdiff | tree |
| 2011-04-20 |
jjenista | a new field has been added to the standard object layout...
|
commit | commitdiff | tree |
| 2011-04-18 |
jjenista | bug fix - during call site transfer func we temporarily...
|
commit | commitdiff | tree |
| 2011-04-18 |
jjenista | this bug is not really a bug, a variable gets optimized...
|
commit | commitdiff | tree |
| next |
projects / IRC.git / search