2012-08-11 |
yeom | changes. |
tree | commitdiff |
2012-08-10 |
yeom | bug fixes on the flow graph. |
tree | commitdiff |
2012-08-10 |
yeom | changes. |
tree | commitdiff |
2012-08-08 |
yeom | changes. |
tree | commitdiff |
2012-08-07 |
yeom | changes. |
tree | commitdiff |
2012-08-07 |
yeom | changes. |
tree | commitdiff |
2012-08-06 |
yeom | changes. |
tree | commitdiff |
2012-08-06 |
yeom | changes. |
tree | commitdiff |
2012-08-04 |
yeom | more changes. |
tree | commitdiff |
2012-08-04 |
yeom | changes. |
tree | commitdiff |
2012-08-02 |
yeom | fixed another problem of the flow-down check. If an... |
tree | commitdiff |
2012-08-02 |
yeom | add PCLOC annotations. all three benchmarks are type... |
tree | commitdiff |
2012-08-01 |
yeom | Allow to declare a composite location for the initial... |
tree | commitdiff |
2012-08-01 |
yeom | implemented PCLOC annotation. |
tree | commitdiff |
2012-08-01 |
yeom | fix. |
tree | commitdiff |
2012-08-01 |
yeom | changes on the inference engine. |
tree | commitdiff |
2012-07-30 |
yeom | changes. |
tree | commitdiff |
2012-07-13 |
yeom | changes. |
tree | commitdiff |
2012-07-07 |
yeom | a bunch of fixes. |
tree | commitdiff |
2012-06-29 |
yeom | implemented a fixed point based interprocedural analysi... |
tree | commitdiff |
2012-05-07 |
yeom | more implementation for the inference: propagating... |
tree | commitdiff |
2012-05-03 |
yeom | Fix the bug in the variable analysis: When we define... |
tree | commitdiff |
2012-05-02 |
yeom | bug fix: The result of the pointer analysis is broken... |
tree | commitdiff |
2012-04-30 |
yeom | changes on the SJava inference |
tree | commitdiff |
2012-04-20 |
yeom | more changes. |
tree | commitdiff |
2012-04-19 |
yeom | changes. |
tree | commitdiff |
2012-04-16 |
yeom | changes. |
tree | commitdiff |
2012-04-10 |
yeom | start implementing basic approach |
tree | commitdiff |
2012-03-22 |
yeom | changes on inference |
tree | commitdiff |
2012-03-21 |
yeom | changes and data/eval files for new evaluations |
tree | commitdiff |
2012-02-17 |
yeom | changes. |
tree | commitdiff |
2012-02-17 |
yeom | add new compilation flag -ssjavainfer for the location... |
tree | commitdiff |
2012-02-17 |
yeom | setup some interfaces & skeleton codes for Adrian's... |
tree | commitdiff |
2012-01-27 |
jjenista | new version of experiments |
tree | commitdiff |
2012-01-27 |
jjenista | little twiddles for kmeans investigation |
tree | commitdiff |
2012-01-25 |
jjenista | set up to count graph elements over every final graph... |
tree | commitdiff |
2012-01-24 |
jjenista | didnt get what I wanted before |
tree | commitdiff |
2012-01-24 |
jjenista | bits to help investigate node count changing |
tree | commitdiff |
2012-01-20 |
jjenista | running new experiments |
tree | commitdiff |
2012-01-20 |
yeom | have another way to assign a THIS LOCATION to method... |
tree | commitdiff |
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 |
next |