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-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-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-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-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 |
jjenista | going to start with just enough definite reach analysis... |
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-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-06-11 |
jjenista | tinkering with debug stuff for barnes-hut |
tree | commitdiff |
2011-06-10 |
jjenista | Bug fix: in some cases we really do want the heap regio... |
tree | commitdiff |
2011-06-03 |
jjenista | fixed a bug where a single argument is passed in as... |
tree | commitdiff |
2011-06-02 |
jjenista | without this the call stie debug was capturing an immen... |
tree | commitdiff |
2011-06-01 |
jjenista | check points-to module improvements along with a bug... |
tree | commitdiff |
2011-05-18 |
jjenista | bug fix: heap contexts for call sites were propgated... |
tree | commitdiff |
2011-05-16 |
jjenista | Create analysis model for string literals in disjointne... |
tree | commitdiff |
2011-05-13 |
jjenista | model the allocation of string literals in heap analysis |
tree | commitdiff |
2011-05-13 |
jjenista | this system checks heap results against runtime pointer... |
tree | commitdiff |
2011-05-11 |
jjenista | differentiate between analysis says something points... |
tree | commitdiff |
2011-05-11 |
jjenista | only do this if we are using oooj-style tasks after... |
tree | commitdiff |
2011-05-10 |
jjenista | New tool to check points-to results of a heap analysis... |
tree | commitdiff |
2011-05-05 |
jjenista | disjoint should work like pointer in that taints for... |
tree | commitdiff |
2011-05-05 |
jjenista | an outstanding change to improve debugging of call... |
tree | commitdiff |
2011-05-03 |
jjenista | allow debug reach graphs to show taints but supress... |
tree | commitdiff |
2011-04-28 |
jjenista | improve call site debugging for disjoint |
tree | commitdiff |
2011-04-28 |
jjenista | run ooojava and rcrpointer that print out effects and... |
tree | commitdiff |
2011-04-27 |
bdemsky | switch to spaces only.. |
tree | commitdiff |
2011-04-27 |
bdemsky | Fix tabbing.... Please fix your editors so they do... |
tree | commitdiff |
2011-04-18 |
jjenista | bug fix - during call site transfer func we temporarily... |
tree | commitdiff |
2011-04-08 |
jjenista | detect possibly evil tasks and do the right thing if... |
tree | commitdiff |
2011-04-06 |
bdemsky | bug and remove debug code |
tree | commitdiff |
2011-04-06 |
bdemsky | get back some of the speed we are losing from bug fixes... |
tree | commitdiff |
2011-04-06 |
stephey | bug fix for refCount in SMFEStates. I'm not sure if... |
tree | commitdiff |
2011-04-06 |
bdemsky | bug fix |
tree | commitdiff |
2011-04-01 |
bdemsky | build pruned graphs that encode conflict information... |
tree | commitdiff |
2011-03-30 |
yeom | bug fixes on OoOJava, now it works fine with all of... |
tree | commitdiff |
2011-03-26 |
bdemsky | bug fix |
tree | commitdiff |
2011-03-26 |
bdemsky | changes |
tree | commitdiff |
2011-03-25 |
bdemsky | bug fix |
tree | commitdiff |
2011-03-25 |
bdemsky | changes |
tree | commitdiff |
2011-03-25 |
bdemsky | try to get runtimeconflictresolver working...and cleani... |
tree | commitdiff |
2011-03-25 |
bdemsky | changes to process/prune state machines |
tree | commitdiff |
2011-03-25 |
bdemsky | class to prune/process state machines |
tree | commitdiff |
2011-03-24 |
bdemsky | initial taint should have null whereDefined so we don... |
tree | commitdiff |
2011-03-23 |
stephey | Changed a lot of things in RCR. It works for the most... |
tree | commitdiff |
2011-03-23 |
bdemsky | bug fixes |
tree | commitdiff |
2011-03-23 |
stephey | Jim told me to do this... |
tree | commitdiff |
2011-03-23 |
jjenista | changed options in code to actually print reach states... |
tree | commitdiff |
2011-03-22 |
bdemsky | fix mistake....allocnodes are like disjoint heapregionn... |
tree | commitdiff |
2011-03-21 |
stephey | Work in progress... I need to rework how to handle... |
tree | commitdiff |
2011-03-21 |
bdemsky | fixing bugs... |
tree | commitdiff |
2011-03-19 |
jjenista | we took DFJ and broke its arm, and we'll reset the... |
tree | commitdiff |
2011-03-18 |
jjenista | changing to new traversers/examiners |
tree | commitdiff |
2011-03-18 |
bdemsky | more bug fixes |
tree | commitdiff |
2011-03-18 |
bdemsky | more changes... |
tree | commitdiff |
2011-03-18 |
bdemsky | commit hacks to effect analysis...interfaces to allow... |
tree | commitdiff |
2011-03-18 |
bdemsky | Patch in effects analysis hooks....have to add new... |
tree | commitdiff |
2011-03-18 |
bdemsky | need to decouple effects from AllocSite |
tree | commitdiff |
2011-03-18 |
bdemsky | my changes |
tree | commitdiff |
2011-03-17 |
bdemsky | more changes...do node-based taints...taint edges.... |
tree | commitdiff |
2011-03-17 |
bdemsky | changes towards taints |
tree | commitdiff |
2011-03-16 |
bdemsky | starting towards taints |
tree | commitdiff |
2011-03-10 |
jjenista | public interface for the later compiler phases |
tree | commitdiff |
2011-03-10 |
jjenista | state machines for traverers seem to be working for... |
tree | commitdiff |
2011-03-05 |
jjenista | more code for state machines in dfj traversers |
tree | commitdiff |
2011-03-04 |
jjenista | extend taints for a new mode in DFJ that helps build... |
tree | commitdiff |
2011-03-03 |
jjenista | a test case showing a bug in disjoint analysis basic... |
tree | commitdiff |
2011-02-01 |
jjenista | honor the easy request of suppressing output for the... |
tree | commitdiff |
2011-01-31 |
jjenista | cleaning up OoOJava and related systems, touching lots... |
tree | commitdiff |
2011-01-22 |
stephey | We fixed the bug of where to find the stallsite reachgr... |
tree | commitdiff |
2011-01-21 |
stephey | Corrected reach graph issue with SESE BLOCKS ONLY.... |
tree | commitdiff |
2011-01-10 |
jjenista | just a little change to keep genreach debug node from... |
tree | commitdiff |
2011-01-10 |
jjenista | enforce monotonicity in heap contributions from call... |
tree | commitdiff |
2011-01-10 |
jjenista | make reach graph visualizations tractable |
tree | commitdiff |
2010-11-18 |
yeom | changes: collects a set of collect effects and generate... |
tree | commitdiff |
next |