2011-12-09 |
yeom | fix a nasty bug: writes on local array elements was... |
commit | commitdiff | tree | snapshot |
2011-12-08 |
yeom | fix heap path propagation and generate error msg with... |
commit | commitdiff | tree | snapshot |
2011-12-07 |
jzhou | changes to MGC class library |
commit | commitdiff | tree | snapshot |
2011-12-06 |
yeom | changes while trying to compile MP3Decoder |
commit | commitdiff | tree | snapshot |
2011-12-06 |
yeom | changes for getting the right path of static references |
commit | commitdiff | tree | snapshot |
2011-12-06 |
yeom | new analysis found one shared location that is not... |
commit | commitdiff | tree | snapshot |
2011-12-05 |
yeom | fixes on analyses to compile the eyetracking benchmark |
commit | commitdiff | tree | snapshot |
2011-12-05 |
yeom | fixes |
commit | commitdiff | tree | snapshot |
2011-12-03 |
yeom | it has passed test cases |
commit | commitdiff | tree | snapshot |
2011-12-03 |
jzhou | Fix another inner class bug: every inner class along... |
commit | commitdiff | tree | snapshot |
2011-12-02 |
yeom | get the right cover set wrt shared location path. |
commit | commitdiff | tree | snapshot |
2011-12-01 |
yeom | fix problems of shared loc extension |
commit | commitdiff | tree | snapshot |
2011-12-01 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-11-30 |
jzhou | According to Brian's comments, check the lside of assig... |
commit | commitdiff | tree | snapshot |
2011-11-30 |
yeom | more changes. |
commit | commitdiff | tree | snapshot |
2011-11-29 |
jzhou | Array field initialization was accidentally broken... |
commit | commitdiff | tree | snapshot |
2011-11-29 |
yeom | have n-to-1 mapping from location paths to a set of... |
commit | commitdiff | tree | snapshot |
2011-11-29 |
jzhou | Fix a small bug about enumaration type: it should be... |
commit | commitdiff | tree | snapshot |
2011-11-24 |
jzhou | changes |
commit | commitdiff | tree | snapshot |
2011-11-23 |
jzhou | Fix another inner class bug: an inner class which is... |
commit | commitdiff | tree | snapshot |
2011-11-22 |
yeom | working on shared loc extension: need to keep additiona... |
commit | commitdiff | tree | snapshot |
2011-11-19 |
jzhou | fix some MGC classes |
commit | commitdiff | tree | snapshot |
2011-11-18 |
jjenista | vector resize isn't a problem, even without definite... |
commit | commitdiff | tree | snapshot |
2011-11-18 |
jzhou | class library changes |
commit | commitdiff | tree | snapshot |
2011-11-18 |
jjenista | fixed double negate bug, 3rd case of def reach works now |
commit | commitdiff | tree | snapshot |
2011-11-17 |
jjenista | case 3 of definite reach, all coded but has bugs becaus... |
commit | commitdiff | tree | snapshot |
2011-11-15 |
jzhou | a missing check |
commit | commitdiff | tree | snapshot |
2011-11-15 |
jzhou | Bug fix of inner class: only add LIVE local variables... |
commit | commitdiff | tree | snapshot |
2011-11-15 |
jzhou | Add a new feature for inner class: an anonymous inner... |
commit | commitdiff | tree | snapshot |
2011-11-14 |
yeom | working on shared loc extension |
commit | commitdiff | tree | snapshot |
2011-11-12 |
jzhou | Need a new inner class feature: let the anonymous inner... |
commit | commitdiff | tree | snapshot |
2011-11-11 |
jzhou | Make the compiler to support super.X/L.super.X which... |
commit | commitdiff | tree | snapshot |
2011-11-11 |
yeom | working on the written check. |
commit | commitdiff | tree | snapshot |
2011-11-11 |
jjenista | got 2nd case of def reach up and running, one to go |
commit | commitdiff | tree | snapshot |
2011-11-11 |
jzhou | Fix inner class implementation. Now code like inner... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
bdemsky | change the email list...stop spamming people |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jzhou | Change back the inner class test case |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jzhou | Fix inner class bug: the inner class cannot correctly... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jjenista | working on the second case where definite reach can... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jjenista | AWESOME. Used just the R relation of definite reach... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jjenista | successfully keep def reach info just for the store... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jjenista | bug fix: retrieve by full key returned empty set, now... |
commit | commitdiff | tree | snapshot |
2011-11-09 |
spikeuci | Updating the test case files |
commit | commitdiff | tree | snapshot |
2011-11-09 |
spikeuci | Handling the case NAME DOT THIS for inner classes |
commit | commitdiff | tree | snapshot |
2011-11-09 |
jjenista | def reach has to use PointerMethod to detect CFG edges... |
commit | commitdiff | tree | snapshot |
2011-11-08 |
jjenista | fix silly off-by-one bug |
commit | commitdiff | tree | snapshot |
2011-11-08 |
bdemsky | push a bunch of old changes i had related to inner... |
commit | commitdiff | tree | snapshot |
2011-11-07 |
jjenista | found a bug, results still empty |
commit | commitdiff | tree | snapshot |
2011-11-07 |
jjenista | transfer funcs for the R relation of def reach coded... |
commit | commitdiff | tree | snapshot |
2011-11-05 |
yeom | fix: the callee can return only its owned obj |
commit | commitdiff | tree | snapshot |
2011-11-04 |
yeom | add evaluation files |
commit | commitdiff | tree | snapshot |
2011-11-04 |
yeom | forgot to commit |
commit | commitdiff | tree | snapshot |
2011-10-28 |
spikeuci | Bug fixed |
commit | commitdiff | tree | snapshot |
2011-10-28 |
spikeuci | This completes the barebones versions of inner class... |
commit | commitdiff | tree | snapshot |
2011-10-28 |
yeom | update location identifier according to changes of... |
commit | commitdiff | tree | snapshot |
2011-10-28 |
yeom | bug fix: |
commit | commitdiff | tree | snapshot |
2011-10-28 |
jjenista | looks like the output is Left and Right channels interl... |
commit | commitdiff | tree | snapshot |
2011-10-27 |
jjenista | make it easy to collect data for the paper's error... |
commit | commitdiff | tree | snapshot |
2011-10-27 |
jjenista | exploring error injection space |
commit | commitdiff | tree | snapshot |
2011-10-26 |
jjenista | the static inner classes are not being used, but Subu... |
commit | commitdiff | tree | snapshot |
2011-10-26 |
jjenista | tweak scripts to take mp3 filename argument |
commit | commitdiff | tree | snapshot |
2011-10-26 |
jjenista | restrict error injection to non-array primitive types... |
commit | commitdiff | tree | snapshot |
2011-10-25 |
yeom | add longer mp3 file for test |
commit | commitdiff | tree | snapshot |
2011-10-25 |
jjenista | def reach coming along |
commit | commitdiff | tree | snapshot |
2011-10-25 |
jjenista | implementing def reach transfer funcs for R |
commit | commitdiff | tree | snapshot |
2011-10-25 |
spikeuci | Checking in the test cases |
commit | commitdiff | tree | snapshot |
2011-10-25 |
spikeuci | As discussed with Prof. Demsky/Jim, the constructor... |
commit | commitdiff | tree | snapshot |
2011-10-22 |
jjenista | decouple ssjava code gen to prevent crashes from the... |
commit | commitdiff | tree | snapshot |
2011-10-22 |
jjenista | automate trying different error probabilities and seeds |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | instrument an injected error and plot differences in... |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | hacks |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | some extras for multiviewmaps |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | Please don't check in debug lines, por favor :) |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | a start on error inject for SSJava |
commit | commitdiff | tree | snapshot |
2011-10-21 |
yeom | moves MP3Decoder codes to Benchmark directory |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | going to start with just enough definite reach analysis... |
commit | commitdiff | tree | snapshot |
2011-10-21 |
david | added array access inference |
commit | commitdiff | tree | snapshot |
2011-10-21 |
spikeuci | Some changes for signature of constructor of inner... |
commit | commitdiff | tree | snapshot |
2011-10-21 |
david | Fixed a bug, added switch statement support |
commit | commitdiff | tree | snapshot |
2011-10-21 |
david | changed treenode tag to blockstatementnode tag |
commit | commitdiff | tree | snapshot |
2011-10-21 |
david | adds global, this, and static tags for var id |
commit | commitdiff | tree | snapshot |
2011-10-20 |
jjenista | a short, clear example that definite reachability will... |
commit | commitdiff | tree | snapshot |
2011-10-16 |
spikeuci | Step 1: Creating instances of all levels of enclosing... |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jzhou | More changes for Galois |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | OoOJava benchmarks, including barnes-hut NOT paralleliz... |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | Forgot to add the OoOJava-specific class directory |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | Bug fix, sometimes an edge matches except it has a... |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | Allow buildscript user to set the compiler's JVM heap... |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | move heap size of output program into the benchmark... |
commit | commitdiff | tree | snapshot |
2011-10-12 |
spikeuci | Adding support for default constructor to be created... |
commit | commitdiff | tree | snapshot |
2011-10-12 |
spikeuci | *** empty log message *** |
commit | commitdiff | tree | snapshot |
2011-10-08 |
jzhou | More classes for galois |
commit | commitdiff | tree | snapshot |
2011-10-07 |
jjenista | fix a bug for Taint similar to ReachState, when either... |
commit | commitdiff | tree | snapshot |
2011-10-05 |
jjenista | accidentally commited tinker code yesterday |
commit | commitdiff | tree | snapshot |
2011-10-05 |
bdemsky | changes |
commit | commitdiff | tree | snapshot |
2011-10-05 |
bdemsky | extend test |
commit | commitdiff | tree | snapshot |
2011-10-05 |
bdemsky | inner class test case |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | Bug fix, subtle errors in exist pred hashcode, and... |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | a test that exposed a cyclic hashcode bug and some... |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | A test that exposed the bug that I just fixed |
commit | commitdiff | tree | snapshot |
next |