2010-10-05 |
yeom | try to get more information about flagged sites. |
blob | commitdiff | raw |
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 |
2010-03-26 |
jjenista | collect last night's changes |
blob | commitdiff | raw | diff to current |
2010-03-26 |
bdemsky | stack implementation...may expose bugs |
blob | commitdiff | raw | diff to current |
2010-03-26 |
bdemsky | bug fix |
blob | commitdiff | raw | diff to current |
2010-03-25 |
bdemsky | bug fixes and optimizations |
blob | commitdiff | raw | diff to current |
2010-03-25 |
jjenista | new Canonical hash and equals, also running with assert... |
blob | commitdiff | raw | diff to current |
2010-03-25 |
jjenista | bug fixes for task initial heaps and making all new... |
blob | commitdiff | raw | diff to current |
2010-03-25 |
yeom | bug fixes |
blob | commitdiff | raw | diff to current |
2010-03-25 |
yeom | changes for proper handling multi-dimensional array... |
blob | commitdiff | raw | diff to current |
2010-03-25 |
jjenista | bug fixes |
blob | commitdiff | raw | diff to current |
2010-03-24 |
jjenista | improved debug graph capture |
blob | commitdiff | raw | diff to current |
2010-03-24 |
jjenista | bug fixes, display improvements, sharing query changes... |
blob | commitdiff | raw | diff to current |
2010-03-23 |
jjenista | bug fix for primitive parameters, made a simple method... |
blob | commitdiff | raw | diff to current |
2010-03-23 |
jjenista | little bug fixes, adjusted code for detecting sharing... |
blob | commitdiff | raw | diff to current |
2010-03-22 |
jjenista | fix bug that a hrn ID integer and a boolean out-of... |
blob | commitdiff | raw | diff to current |
2010-03-22 |
jjenista | little bug in final reporting |
blob | commitdiff | raw | diff to current |
2010-03-22 |
jjenista | couple fixes to make sure out-of-context nodes get... |
blob | commitdiff | raw | diff to current |
2010-03-19 |
yeom | changes. |
blob | commitdiff | raw | diff to current |
2010-03-19 |
jjenista | making debugging easier |
blob | commitdiff | raw | diff to current |
2010-03-19 |
yeom | changes. |
blob | commitdiff | raw | diff to current |
2010-03-19 |
yeom | add interface. |
blob | commitdiff | raw | diff to current |
2010-03-17 |
jjenista | use different graph writing options to better find... |
blob | commitdiff | raw | diff to current |
2010-03-17 |
jjenista | fixed issues with dot graph writing that make our debug... |
blob | commitdiff | raw | diff to current |
2010-03-17 |
yeom | changes for proper handling field. |
blob | commitdiff | raw | diff to current |
2010-03-16 |
jjenista | working hard on reachability, bunch of changes, still... |
blob | commitdiff | raw | diff to current |
2010-03-16 |
yeom | bug fix. |
blob | commitdiff | raw | diff to current |
2010-03-16 |
yeom | changes for handling tasks. |
blob | commitdiff | raw | diff to current |
2010-03-13 |
jjenista | a start on reachability, not fully functioning yet |
blob | commitdiff | raw | diff to current |
2010-03-10 |
jjenista | big checkin, lots of call site transfer bug fixes,... |
blob | commitdiff | raw | diff to current |
2010-03-04 |
jjenista | bug fix, other transfer funcs invoke mutating methods... |
blob | commitdiff | raw | diff to current |
2010-03-01 |
jjenista | check in a debug mode for call site transfer I use... |
blob | commitdiff | raw | diff to current |
2010-02-23 |
jjenista | system stable, call site transform wipes out graphs... |
blob | commitdiff | raw | diff to current |
2010-02-22 |
jjenista | bug fix, was too aggressive with equals method for... |
blob | commitdiff | raw | diff to current |
2010-02-19 |
jjenista | big update--bringing implementation of new analysis... |
blob | commitdiff | raw | diff to current |
2010-02-11 |
jjenista | reevaluating abstract garbage collection, for now leave... |
blob | commitdiff | raw | diff to current |
2010-02-09 |
jjenista | change analysis so nodes are added on demand, and abstr... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
jjenista | implementing |
blob | commitdiff | raw | diff to current |
2010-02-02 |
jjenista | implementing |
blob | commitdiff | raw | diff to current |
2010-01-20 |
jjenista | bug fix: do dynamic tracking when a variable's source... |
blob | commitdiff | raw | diff to current |
2010-01-07 |
jjenista | more implementation |
blob | commitdiff | raw | diff to current |
2010-01-07 |
jjenista | more implementation |
blob | commitdiff | raw | diff to current |
2010-01-06 |
jjenista | more implementation |
blob | commitdiff | raw | diff to current |
2010-01-04 |
jjenista | more implementation |
blob | commitdiff | raw | diff to current |
2009-12-31 |
jjenista | more implementation |
blob | commitdiff | raw | diff to current |
2009-12-30 |
jjenista | working on new implementation |
blob | commitdiff | raw | diff to current |
2009-12-10 |
jjenista | Stable compile finally, but system crashing in mid... |
blob | commitdiff | raw | diff to current |
2009-12-09 |
jjenista | changes |
blob | commitdiff | raw | diff to current |
2009-12-08 |
jjenista | changes |
blob | commitdiff | raw | diff to current |
2009-12-07 |
jjenista | changes |
blob | commitdiff | raw | diff to current |
2009-12-07 |
jjenista | implementing |
blob | commitdiff | raw | diff to current |
2009-12-02 |
jjenista | start of a revised disjoint reachability analysis |
blob | commitdiff | raw | diff to current |
|