| 2012-01-27 |
jjenista | little twiddles for kmeans investigation |
blob | commitdiff | raw |
| 2012-01-25 |
jjenista | set up to count graph elements over every final graph... |
blob | commitdiff | raw | diff to current |
| 2012-01-24 |
jjenista | bits to help investigate node count changing |
blob | commitdiff | raw | diff to current |
| 2012-01-20 |
jjenista | running new experiments |
blob | commitdiff | raw | diff to current |
| 2012-01-17 |
jjenista | predicates are not feasible to flip on and off. The... |
blob | commitdiff | raw | diff to current |
| 2012-01-17 |
jjenista | fix up summarize-per-class mode |
blob | commitdiff | raw | diff to current |
| 2012-01-17 |
jjenista | get set up for experiment: test impact of disabling... |
blob | commitdiff | raw | diff to current |
| 2012-01-09 |
jjenista | defreach experiment |
blob | commitdiff | raw | diff to current |
| 2012-01-06 |
jjenista | tweaks for running definite reach |
blob | commitdiff | raw | diff to current |
| 2011-11-11 |
jjenista | got 2nd case of def reach up and running, one to go |
blob | commitdiff | raw | diff to current |
| 2011-11-10 |
jjenista | AWESOME. Used just the R relation of definite reach... |
blob | commitdiff | raw | diff to current |
| 2011-11-10 |
jjenista | successfully keep def reach info just for the store... |
blob | commitdiff | raw | diff to current |
| 2011-11-09 |
jjenista | def reach has to use PointerMethod to detect CFG edges... |
blob | commitdiff | raw | diff to current |
| 2011-11-08 |
jjenista | fix silly off-by-one bug |
blob | commitdiff | raw | diff to current |
| 2011-11-07 |
jjenista | transfer funcs for the R relation of def reach coded... |
blob | commitdiff | raw | diff to current |
| 2011-10-25 |
jjenista | def reach coming along |
blob | commitdiff | raw | diff to current |
| 2011-10-25 |
jjenista | implementing def reach transfer funcs for R |
blob | commitdiff | raw | diff to current |
| 2011-10-21 |
jjenista | going to start with just enough definite reach analysis... |
blob | commitdiff | raw | diff to current |
| 2011-10-07 |
jjenista | fix a bug for Taint similar to ReachState, when either... |
blob | commitdiff | raw | diff to current |
| 2011-09-22 |
jjenista | Be able to get def reach state out at a given program... |
blob | commitdiff | raw | diff to current |
| 2011-09-22 |
jjenista | get hooked into disjoint |
blob | commitdiff | raw | diff to current |
| 2011-09-21 |
jjenista | Starting implementation for definite reachability analysis |
blob | commitdiff | raw | diff to current |
| 2011-06-11 |
jjenista | tinkering with debug stuff for barnes-hut |
blob | commitdiff | raw | diff to current |
| 2011-06-10 |
jjenista | Bug fix: in some cases we really do want the heap regio... |
blob | commitdiff | raw | diff to current |
| 2011-06-03 |
jjenista | fixed a bug where a single argument is passed in as... |
blob | commitdiff | raw | diff to current |
| 2011-06-02 |
jjenista | without this the call stie debug was capturing an immen... |
blob | commitdiff | raw | diff to current |
| 2011-06-01 |
jjenista | check points-to module improvements along with a bug... |
blob | commitdiff | raw | diff to current |
| 2011-05-18 |
jjenista | bug fix: heap contexts for call sites were propgated... |
blob | commitdiff | raw | diff to current |
| 2011-05-16 |
jjenista | Create analysis model for string literals in disjointne... |
blob | commitdiff | raw | diff to current |
| 2011-05-13 |
jjenista | model the allocation of string literals in heap analysis |
blob | commitdiff | raw | diff to current |
| 2011-05-13 |
jjenista | this system checks heap results against runtime pointer... |
blob | commitdiff | raw | diff to current |
| 2011-05-11 |
jjenista | differentiate between analysis says something points... |
blob | commitdiff | raw | diff to current |
| 2011-05-11 |
jjenista | only do this if we are using oooj-style tasks after... |
blob | commitdiff | raw | diff to current |
| 2011-05-10 |
jjenista | New tool to check points-to results of a heap analysis... |
blob | commitdiff | raw | diff to current |
| 2011-05-05 |
jjenista | an outstanding change to improve debugging of call... |
blob | commitdiff | raw | diff to current |
| 2011-05-03 |
jjenista | allow debug reach graphs to show taints but supress... |
blob | commitdiff | raw | diff to current |
| 2011-04-28 |
jjenista | improve call site debugging for disjoint |
blob | commitdiff | raw | diff to current |
| 2011-04-27 |
bdemsky | switch to spaces only.. |
blob | commitdiff | raw | diff to current |
| 2011-04-27 |
bdemsky | Fix tabbing.... Please fix your editors so they do... |
blob | commitdiff | raw | diff to current |
| 2011-04-18 |
jjenista | bug fix - during call site transfer func we temporarily... |
blob | commitdiff | raw | diff to current |
| 2011-03-30 |
yeom | bug fixes on OoOJava, now it works fine with all of... |
blob | commitdiff | raw | diff to current |
| 2011-03-23 |
jjenista | changed options in code to actually print reach states... |
blob | commitdiff | raw | diff to current |
| 2011-03-18 |
jjenista | changing to new traversers/examiners |
blob | commitdiff | raw | diff to current |
| 2011-03-18 |
bdemsky | commit hacks to effect analysis...interfaces to allow... |
blob | commitdiff | raw | diff to current |
| 2011-03-10 |
jjenista | state machines for traverers seem to be working for... |
blob | commitdiff | raw | diff to current |
| 2011-03-05 |
jjenista | more code for state machines in dfj traversers |
blob | commitdiff | raw | diff to current |
| 2011-03-04 |
jjenista | extend taints for a new mode in DFJ that helps build... |
blob | commitdiff | raw | diff to current |
| 2011-03-03 |
jjenista | a test case showing a bug in disjoint analysis basic... |
blob | commitdiff | raw | diff to current |
| 2011-02-01 |
jjenista | honor the easy request of suppressing output for the... |
blob | commitdiff | raw | diff to current |
| 2011-01-31 |
jjenista | cleaning up OoOJava and related systems, touching lots... |
blob | commitdiff | raw | diff to current |
| 2011-01-22 |
stephey | We fixed the bug of where to find the stallsite reachgr... |
blob | commitdiff | raw | diff to current |
| 2011-01-21 |
stephey | Corrected reach graph issue with SESE BLOCKS ONLY.... |
blob | commitdiff | raw | diff to current |
| 2011-01-10 |
jjenista | just a little change to keep genreach debug node from... |
blob | commitdiff | raw | diff to current |
| 2011-01-10 |
jjenista | enforce monotonicity in heap contributions from call... |
blob | commitdiff | raw | diff to current |
| 2010-11-18 |
yeom | changes: collects a set of collect effects and generate... |
blob | commitdiff | raw | diff to current |
| 2010-10-11 |
jjenista | two methods for generating a reach graph at any desired... |
blob | commitdiff | raw | diff to current |
| 2010-10-05 |
yeom | try to get more information about flagged sites. |
blob | commitdiff | raw | diff to current |
| 2010-10-05 |
jjenista | cpaturing some makefile updates and have OoOJava print... |
blob | commitdiff | raw | diff to current |
| 2010-10-01 |
jjenista | for timing disjoint reachability in oooJava benchmarks |
blob | commitdiff | raw | diff to current |
| 2010-08-06 |
yeom | introduces new flag for runtime conflict resolver. |
blob | commitdiff | raw | diff to current |
| 2010-07-30 |
yeom | changes. |
blob | commitdiff | raw | diff to current |
| 2010-07-23 |
yeom | changes. |
blob | commitdiff | raw | diff to current |
| 2010-06-30 |
yeom | more changes according to new effect analysis |
blob | commitdiff | raw | diff to current |
| 2010-06-29 |
jjenista | tweak to interface |
blob | commitdiff | raw | diff to current |
| 2010-06-29 |
jjenista | reachability query interface for ooojava heap conflict... |
blob | commitdiff | raw | diff to current |
| 2010-06-29 |
jjenista | getting close to effects for new disjoint analysis |
blob | commitdiff | raw | diff to current |
| 2010-06-29 |
jjenista | little bug fix |
blob | commitdiff | raw | diff to current |
| 2010-06-29 |
jjenista | stall site critical regions implemented, including... |
blob | commitdiff | raw | diff to current |
| 2010-06-28 |
jjenista | restate inaccessible vars for stall site so facts get... |
blob | commitdiff | raw | diff to current |
| 2010-06-28 |
jjenista | more effects bug fixes |
blob | commitdiff | raw | diff to current |
| 2010-06-28 |
jjenista | bug fixes for effects analysis |
blob | commitdiff | raw | diff to current |
| 2010-06-28 |
jjenista | stall site taints propagate awesomely, get cleared... |
blob | commitdiff | raw | diff to current |
| 2010-06-28 |
jjenista | forgot to add moved files back in, injecting stall... |
blob | commitdiff | raw | diff to current |
| 2010-06-28 |
jjenista | changed organization and brought in a few new pieces... |
blob | commitdiff | raw | diff to current |
| 2010-06-28 |
yeom | add more steps to OoO analysis |
blob | commitdiff | raw | diff to current |
| 2010-06-26 |
yeom | working on the remaining procedures of OoOJava analysis. |
blob | commitdiff | raw | diff to current |
| 2010-06-26 |
jjenista | Do effects as a global space, don't even need to consid... |
blob | commitdiff | raw | diff to current |
| 2010-06-25 |
jjenista | getting effects analysis going, need a few more pieces... |
blob | commitdiff | raw | diff to current |
| 2010-06-25 |
jjenista | rblock effects dont collect over method call, but its... |
blob | commitdiff | raw | diff to current |
| 2010-06-25 |
jjenista | analysis collects effects per method and interprocedurally |
blob | commitdiff | raw | diff to current |
| 2010-06-24 |
jjenista | rblock in set vars get tainted on rblock enter and... |
blob | commitdiff | raw | diff to current |
| 2010-06-23 |
jjenista | More pieces for new version of analysis |
blob | commitdiff | raw | diff to current |
| 2010-06-23 |
yeom | get set up part of the stall site analysis |
blob | commitdiff | raw | diff to current |
| 2010-06-22 |
jjenista | taints at reach graph level implemented |
blob | commitdiff | raw | diff to current |
| 2010-06-22 |
jjenista | got the hooks in place to get taints for rblocks |
blob | commitdiff | raw | diff to current |
| 2010-06-22 |
yeom | set up OoOJava analysis. |
blob | commitdiff | raw | diff to current |
| 2010-06-17 |
jjenista | getting parameter taints in new analysis |
blob | commitdiff | raw | diff to current |
| 2010-05-26 |
jjenista | porting effects analysis to new disjoint analysis |
blob | commitdiff | raw | diff to current |
| 2010-04-19 |
jjenista | improving debugging of call site contributions to initi... |
blob | commitdiff | raw | diff to current |
| 2010-04-15 |
jjenista | bug fix, some callees were not being rescheduled becaus... |
blob | commitdiff | raw | diff to current |
| 2010-04-14 |
jjenista | fixed a bug where retrieving the context contribution... |
blob | commitdiff | raw | diff to current |
| 2010-04-12 |
jjenista | adjustments to stack-based method scheduling, debug... |
blob | commitdiff | raw | diff to current |
| 2010-04-07 |
jjenista | deterministic mode works |
blob | commitdiff | raw | diff to current |
| 2010-04-07 |
jjenista | added compiler option to desire determinism, it current... |
blob | commitdiff | raw | diff to current |
| 2010-04-05 |
jjenista | implemented stack method visit but with callees on... |
blob | commitdiff | raw | diff to current |
| 2010-04-02 |
jjenista | bug fixes for unflagged heap regions becoming flagged |
blob | commitdiff | raw | diff to current |
| 2010-04-02 |
jjenista | working on bugs, sharing file output updates |
blob | commitdiff | raw | diff to current |
| 2010-03-31 |
jjenista | enforce strict monotonicity for initial method contexts... |
blob | commitdiff | raw | diff to current |
| 2010-03-30 |
jjenista | bug fixes, make stack/Q method-visiting a cmd line... |
blob | commitdiff | raw | diff to current |
| 2010-03-26 |
jjenista | all changes for official testing |
blob | commitdiff | raw | diff to current |
| next |
projects / IRC.git / history