2012-01-27 |
jjenista | new version of experiments |
commit | commitdiff |
2012-01-27 |
jjenista | little twiddles for kmeans investigation |
commit | commitdiff |
2012-01-25 |
jjenista | set up to count graph elements over every final graph... |
commit | commitdiff |
2012-01-24 |
jjenista | didnt get what I wanted before |
commit | commitdiff |
2012-01-24 |
jjenista | bits to help investigate node count changing |
commit | commitdiff |
2012-01-20 |
jjenista | running new experiments |
commit | commitdiff |
2012-01-17 |
jjenista | predicates are not feasible to flip on and off. The... |
commit | commitdiff |
2012-01-17 |
jjenista | get set up for experiment: test impact of disabling... |
commit | commitdiff |
2011-11-11 |
jjenista | got 2nd case of def reach up and running, one to go |
commit | commitdiff |
2011-11-10 |
jjenista | AWESOME. Used just the R relation of definite reach... |
commit | commitdiff |
2011-11-08 |
jjenista | fix silly off-by-one bug |
commit | commitdiff |
2011-10-25 |
jjenista | def reach coming along |
commit | commitdiff |
2011-10-25 |
jjenista | implementing def reach transfer funcs for R |
commit | commitdiff |
2011-10-21 |
jjenista | going to start with just enough definite reach analysis... |
commit | commitdiff |
2011-10-04 |
jjenista | Bug fix, subtle errors in exist pred hashcode, and... |
commit | commitdiff |
2011-10-04 |
jjenista | the bug I've been chasing, a critical one-letter typo... |
commit | commitdiff |
2011-06-11 |
jjenista | tinkering with debug stuff for barnes-hut |
commit | commitdiff |
2011-06-10 |
jjenista | Bug fix: in some cases we really do want the heap regio... |
commit | commitdiff |
2011-06-03 |
jjenista | fixed a bug where a single argument is passed in as... |
commit | commitdiff |
2011-06-01 |
jjenista | check points-to module improvements along with a bug... |
commit | commitdiff |
2011-05-18 |
jjenista | bug fix: heap contexts for call sites were propgated... |
commit | commitdiff |
2011-05-16 |
jjenista | Create analysis model for string literals in disjointne... |
commit | commitdiff |
2011-05-13 |
jjenista | this system checks heap results against runtime pointer... |
commit | commitdiff |
2011-05-11 |
jjenista | differentiate between analysis says something points... |
commit | commitdiff |
2011-05-10 |
jjenista | New tool to check points-to results of a heap analysis... |
commit | commitdiff |
2011-05-05 |
jjenista | disjoint should work like pointer in that taints for... |
commit | commitdiff |
2011-05-03 |
jjenista | allow debug reach graphs to show taints but supress... |
commit | commitdiff |
2011-04-27 |
bdemsky | switch to spaces only.. |
commit | commitdiff |
2011-04-27 |
bdemsky | Fix tabbing.... Please fix your editors so they do... |
commit | commitdiff |
2011-04-18 |
jjenista | bug fix - during call site transfer func we temporarily... |
commit | commitdiff |
2011-03-10 |
jjenista | state machines for traverers seem to be working for... |
commit | commitdiff |
2011-03-04 |
jjenista | extend taints for a new mode in DFJ that helps build... |
commit | commitdiff |
2011-01-31 |
jjenista | cleaning up OoOJava and related systems, touching lots... |
commit | commitdiff |
2010-08-02 |
yeom | changes. |
commit | commitdiff |
2010-07-30 |
yeom | *** empty log message *** |
commit | commitdiff |
2010-07-30 |
yeom | changes. |
commit | commitdiff |
2010-07-26 |
jjenista | bug fix for allowing out-of-contexts taints to flow... |
commit | commitdiff |
2010-07-07 |
stephey | public VariableNode getVariableNodeNoMutation( TempDesc... |
commit | commitdiff |
2010-07-02 |
jjenista | some subtle reach state bug fixes uncovered by labyrint... |
commit | commitdiff |
2010-06-30 |
jjenista | debugged the reach graph support for effect conflicts |
commit | commitdiff |
2010-06-30 |
jjenista | implemented details to support effect conflict detection |
commit | commitdiff |
2010-06-29 |
jjenista | reachability query interface for ooojava heap conflict... |
commit | commitdiff |
2010-06-29 |
jjenista | stall site critical regions implemented, including... |
commit | commitdiff |
2010-06-28 |
jjenista | restate inaccessible vars for stall site so facts get... |
commit | commitdiff |
2010-06-28 |
jjenista | stall site taints propagate awesomely, get cleared... |
commit | commitdiff |
2010-06-28 |
jjenista | forgot to add moved files back in, injecting stall... |
commit | commitdiff |
2010-06-28 |
yeom | add more steps to OoO analysis |
commit | commitdiff |
2010-06-26 |
jjenista | Do effects as a global space, don't even need to consid... |
commit | commitdiff |
2010-06-26 |
jjenista | both reach states and taints were not propagating to... |
commit | commitdiff |
2010-06-25 |
jjenista | getting effects analysis going, need a few more pieces... |
commit | commitdiff |
2010-06-25 |
jjenista | rblock effects dont collect over method call, but its... |
commit | commitdiff |
2010-06-25 |
jjenista | analysis collects effects per method and interprocedurally |
commit | commitdiff |
2010-06-24 |
jjenista | bug fix, now interprocedural seems cool, unitl the... |
commit | commitdiff |
2010-06-24 |
jjenista | taints tested, propagate interprocedurally |
commit | commitdiff |
2010-06-24 |
jjenista | rblock in set vars get tainted on rblock enter and... |
commit | commitdiff |
2010-06-23 |
yeom | get set up part of the stall site analysis |
commit | commitdiff |
2010-06-23 |
jjenista | Updated taint class to allow call site plus var taints... |
commit | commitdiff |
2010-06-22 |
jjenista | taints at reach graph level implemented |
commit | commitdiff |
2010-06-22 |
jjenista | got the hooks in place to get taints for rblocks |
commit | commitdiff |
2010-06-22 |
jjenista | Getting taints to propagate in new analysis, no paramet... |
commit | commitdiff |
2010-06-21 |
jjenista | capturing partially implemented taints before altering... |
commit | commitdiff |
2010-06-17 |
jjenista | taints working intraprocedurally, a bug in inter I... |
commit | commitdiff |
2010-06-17 |
jjenista | getting parameter taints in new analysis |
commit | commitdiff |
2010-06-17 |
jjenista | get partially set up new version of disjoint analysis... |
commit | commitdiff |
2010-05-27 |
jjenista | porting effects analysis |
commit | commitdiff |
2010-05-26 |
jjenista | porting effects analysis to new disjoint analysis |
commit | commitdiff |
2010-04-19 |
jjenista | bug fix in that return value assignment edges were... |
commit | commitdiff |
2010-04-07 |
jjenista | deterministic mode works |
commit | commitdiff |
2010-04-07 |
jjenista | just improved some output |
commit | commitdiff |
2010-04-02 |
jjenista | bug fixes for unflagged heap regions becoming flagged |
commit | commitdiff |
2010-04-02 |
jjenista | working on bugs, sharing file output updates |
commit | commitdiff |
2010-03-31 |
jjenista | enforce strict monotonicity for initial method contexts... |
commit | commitdiff |
2010-03-30 |
jjenista | turn strong updates back on from yesterday testing... |
commit | commitdiff |
2010-03-30 |
jjenista | why was this missing--latent bug |
commit | commitdiff |
2010-03-30 |
jjenista | bug fixes, make stack/Q method-visiting a cmd line... |
commit | commitdiff |
2010-03-26 |
jjenista | collect last night's changes |
commit | commitdiff |
2010-03-26 |
bdemsky | bug fix |
commit | commitdiff |
2010-03-26 |
bdemsky | bug fix |
commit | commitdiff |
2010-03-25 |
jjenista | bug fixes for task initial heaps and making all new... |
commit | commitdiff |
2010-03-25 |
jjenista | bug fixes |
commit | commitdiff |
2010-03-24 |
jjenista | improved debug graph capture |
commit | commitdiff |
2010-03-24 |
jjenista | bug fixes, display improvements, sharing query changes... |
commit | commitdiff |
2010-03-23 |
jjenista | bug fix for primitive parameters, made a simple method... |
commit | commitdiff |
2010-03-23 |
jjenista | little bug fixes, adjusted code for detecting sharing... |
commit | commitdiff |
2010-03-22 |
jjenista | fix bug that a hrn ID integer and a boolean out-of... |
commit | commitdiff |
2010-03-22 |
jjenista | bug fixes: if an out-of-context edge in callee has... |
commit | commitdiff |
2010-03-22 |
jjenista | wow, this bug has been latent for a long time, easy fix |
commit | commitdiff |
2010-03-22 |
jjenista | couple fixes to make sure out-of-context nodes get... |
commit | commitdiff |
2010-03-22 |
jjenista | fixed problem by differentiating between an element... |
commit | commitdiff |
2010-03-20 |
jjenista | trying to fix call site transfer bug, fixed caused... |
commit | commitdiff |
2010-03-19 |
yeom | changes. |
commit | commitdiff |
2010-03-19 |
jjenista | making debugging easier |
commit | commitdiff |
2010-03-19 |
jjenista | make sure change sets ignore predicates hanging off... |
commit | commitdiff |
2010-03-19 |
jjenista | make sure straight union of reach states or reach sets... |
commit | commitdiff |
2010-03-19 |
yeom | add interface. |
commit | commitdiff |
2010-03-18 |
jjenista | couple of little bugs working in tandem to wreck reacha... |
commit | commitdiff |
2010-03-17 |
jjenista | use different graph writing options to better find... |
commit | commitdiff |
2010-03-17 |
jjenista | fixed issues with dot graph writing that make our debug... |
commit | commitdiff |
2010-03-17 |
jjenista | was accidentally dropping param var to node edges when... |
commit | commitdiff |
2010-03-17 |
jjenista | working on reach prop, pred bugs, basic tests still... |
commit | commitdiff |
next |