| 2012-01-17 |
jjenista | predicates are not feasible to flip on and off. The... |
tree | commitdiff |
| 2012-01-17 |
jjenista | fix up summarize-per-class mode |
tree | commitdiff |
| 2012-01-17 |
jjenista | get set up for experiment: test impact of disabling... |
tree | commitdiff |
| 2012-01-09 |
jjenista | defreach experiment |
tree | commitdiff |
| 2012-01-06 |
jjenista | tweaks for running definite reach |
tree | commitdiff |
| 2011-12-15 |
yeom | Finally, all benchmarks pass the definitely written... |
tree | commitdiff |
| 2011-12-15 |
yeom | New shared loc analysis found a shared location that... |
tree | commitdiff |
| 2011-12-15 |
yeom | associate assignment nodes that writes to the same... |
tree | commitdiff |
| 2011-12-13 |
yeom | changes. |
tree | commitdiff |
| 2011-12-12 |
yeom | fix another bug: callee propagated wrong write effects... |
tree | commitdiff |
| 2011-12-12 |
yeom | more changes, but still broken with mp3decoder |
tree | commitdiff |
| 2011-12-10 |
yeom | changes. |
tree | commitdiff |
| 2011-12-09 |
yeom | fix a nasty bug: writes on local array elements was... |
tree | commitdiff |
| 2011-12-08 |
yeom | fix heap path propagation and generate error msg with... |
tree | commitdiff |
| 2011-12-06 |
yeom | changes while trying to compile MP3Decoder |
tree | commitdiff |
| 2011-12-06 |
yeom | changes for getting the right path of static references |
tree | commitdiff |
| 2011-12-05 |
yeom | fixes on analyses to compile the eyetracking benchmark |
tree | commitdiff |
| 2011-12-05 |
yeom | fixes |
tree | commitdiff |
| 2011-12-03 |
yeom | it has passed test cases |
tree | commitdiff |
| 2011-12-02 |
yeom | get the right cover set wrt shared location path. |
tree | commitdiff |
| 2011-12-01 |
yeom | fix problems of shared loc extension |
tree | commitdiff |
| 2011-12-01 |
yeom | changes. |
tree | commitdiff |
| 2011-11-30 |
yeom | more changes. |
tree | commitdiff |
| 2011-11-29 |
yeom | have n-to-1 mapping from location paths to a set of... |
tree | commitdiff |
| 2011-11-22 |
yeom | working on shared loc extension: need to keep additiona... |
tree | commitdiff |
| 2011-11-18 |
jjenista | fixed double negate bug, 3rd case of def reach works now |
tree | commitdiff |
| 2011-11-17 |
jjenista | case 3 of definite reach, all coded but has bugs becaus... |
tree | commitdiff |
| 2011-11-14 |
yeom | working on shared loc extension |
tree | commitdiff |
| 2011-11-11 |
yeom | working on the written check. |
tree | commitdiff |
| 2011-11-11 |
jjenista | got 2nd case of def reach up and running, one to go |
tree | commitdiff |
| 2011-11-10 |
jjenista | working on the second case where definite reach can... |
tree | commitdiff |
| 2011-11-10 |
jjenista | AWESOME. Used just the R relation of definite reach... |
tree | commitdiff |
| 2011-11-10 |
jjenista | successfully keep def reach info just for the store... |
tree | commitdiff |
| 2011-11-09 |
jjenista | def reach has to use PointerMethod to detect CFG edges... |
tree | commitdiff |
| 2011-11-08 |
jjenista | fix silly off-by-one bug |
tree | commitdiff |
| 2011-11-07 |
jjenista | found a bug, results still empty |
tree | commitdiff |
| 2011-11-07 |
jjenista | transfer funcs for the R relation of def reach coded... |
tree | commitdiff |
| 2011-11-04 |
yeom | forgot to commit |
tree | commitdiff |
| 2011-10-28 |
yeom | bug fix: |
tree | commitdiff |
| 2011-10-25 |
jjenista | def reach coming along |
tree | commitdiff |
| 2011-10-25 |
jjenista | implementing def reach transfer funcs for R |
tree | commitdiff |
| 2011-10-21 |
jjenista | hacks |
tree | commitdiff |
| 2011-10-21 |
yeom | moves MP3Decoder codes to Benchmark directory |
tree | commitdiff |
| 2011-10-21 |
jjenista | going to start with just enough definite reach analysis... |
tree | commitdiff |
| 2011-10-21 |
david | added array access inference |
tree | commitdiff |
| 2011-10-21 |
david | Fixed a bug, added switch statement support |
tree | commitdiff |
| 2011-10-21 |
david | changed treenode tag to blockstatementnode tag |
tree | commitdiff |
| 2011-10-21 |
david | adds global, this, and static tags for var id |
tree | commitdiff |
| 2011-10-13 |
jjenista | Bug fix, sometimes an edge matches except it has a... |
tree | commitdiff |
| 2011-10-07 |
jjenista | fix a bug for Taint similar to ReachState, when either... |
tree | commitdiff |
| 2011-10-04 |
jjenista | Bug fix, subtle errors in exist pred hashcode, and... |
tree | commitdiff |
| 2011-10-04 |
jjenista | the bug I've been chasing, a critical one-letter typo... |
tree | commitdiff |
| 2011-10-04 |
jjenista | double-check the context conversions of out-of-context... |
tree | commitdiff |
| 2011-10-04 |
jjenista | slight code improvements |
tree | commitdiff |
| 2011-10-03 |
yeom | bug fix. |
tree | commitdiff |
| 2011-09-27 |
jjenista | put unit tests here |
tree | commitdiff |
| 2011-09-26 |
jjenista | Incrementing on definite reach analysis |
tree | commitdiff |
| 2011-09-22 |
jjenista | Be able to get def reach state out at a given program... |
tree | commitdiff |
| 2011-09-22 |
jjenista | get hooked into disjoint |
tree | commitdiff |
| 2011-09-22 |
jjenista | getting definite reach analysis set up as a fixed point... |
tree | commitdiff |
| 2011-09-21 |
jjenista | Starting implementation for definite reachability analysis |
tree | commitdiff |
| 2011-09-20 |
yeom | take out the loop termination analysis from the java... |
tree | commitdiff |
| 2011-09-20 |
yeom | bug fix on the Loop terminate analysis: as long as... |
tree | commitdiff |
| 2011-09-20 |
yeom | passes the flow down rule |
tree | commitdiff |
| 2011-09-20 |
yeom | bug fixes + annotations |
tree | commitdiff |
| 2011-09-17 |
yeom | 1) it passes the linear type checking 2) start annotati... |
tree | commitdiff |
| 2011-09-16 |
yeom | found compilation errors from david's recent commits... |
tree | commitdiff |
| 2011-09-07 |
david | added returnnode, loopnode, and opnode recognitino... |
tree | commitdiff |
| 2011-09-07 |
david | Added implicit flow for if statements |
tree | commitdiff |
| 2011-09-03 |
david | adding java files for inference engine |
tree | commitdiff |
| 2011-09-01 |
yeom | changes: 1) refactoring codes 2) forgot to implement... |
tree | commitdiff |
| 2011-08-31 |
yeom | it passes the definite clearance analysis. |
tree | commitdiff |
| 2011-08-30 |
yeom | changes. |
tree | commitdiff |
| 2011-08-29 |
yeom | changes: have a better way to keep the set of reading... |
tree | commitdiff |
| 2011-08-29 |
yeom | fixes on the definite clearance for shared locations. |
tree | commitdiff |
| 2011-08-29 |
yeom | changes on the definite clearance for shared locations... |
tree | commitdiff |
| 2011-08-27 |
yeom | it passes the definitely written analysis. |
tree | commitdiff |
| 2011-08-23 |
yeom | 1) changes on the definitely written analysis: it only... |
tree | commitdiff |
| 2011-08-23 |
yeom | bug fix |
tree | commitdiff |
| 2011-08-20 |
yeom | bug fix on the definitely written check: Field read... |
tree | commitdiff |
| 2011-08-20 |
yeom | changes. |
tree | commitdiff |
| 2011-08-20 |
yeom | mp3decoder passes the loop termination analysis. |
tree | commitdiff |
| 2011-08-20 |
yeom | bug fix on the loop termination analysis |
tree | commitdiff |
| 2011-08-19 |
yeom | changes on the loop termination analysis: associate... |
tree | commitdiff |
| 2011-08-18 |
yeom | more changes to pass the flow-down rule |
tree | commitdiff |
| 2011-08-18 |
yeom | changes. |
tree | commitdiff |
| 2011-08-17 |
yeom | bug fix on flow-down rule: check if all of assignments... |
tree | commitdiff |
| 2011-08-17 |
yeom | have linear-type-safe source codes of mp3decoder |
tree | commitdiff |
| 2011-08-13 |
yeom | 1) allow to set the maximum threshold for the liveness... |
tree | commitdiff |
| 2011-08-10 |
yeom | changes. |
tree | commitdiff |
| 2011-08-09 |
yeom | changes: now variable ownership is in the part of the... |
tree | commitdiff |
| 2011-08-08 |
yeom | changes. |
tree | commitdiff |
| 2011-08-06 |
yeom | buildflat exposes new interface that maps from a tree... |
tree | commitdiff |
| 2011-08-05 |
yeom | start revising the linear type checking |
tree | commitdiff |
| 2011-08-03 |
yeom | changes. |
tree | commitdiff |
| 2011-08-03 |
yeom | changes. |
tree | commitdiff |
| 2011-08-02 |
yeom | changes. |
tree | commitdiff |
| 2011-07-28 |
yeom | fix on assigning the global location of the local... |
tree | commitdiff |
| 2011-07-28 |
yeom | changes. |
tree | commitdiff |
| 2011-07-27 |
yeom | changes: 1) generate a class lattice graph DOT file... |
tree | commitdiff |
| next |
projects / IRC.git / history