2010-06-25 |
jjenista | analysis collects effects per method and interprocedurally |
tree | commitdiff |
2010-06-24 |
jjenista | bug fix, now interprocedural seems cool, unitl the... |
tree | commitdiff |
2010-06-24 |
jjenista | taints tested, propagate interprocedurally |
tree | commitdiff |
2010-06-24 |
jjenista | rblock in set vars get tainted on rblock enter and... |
tree | commitdiff |
2010-06-24 |
yeom | changes. |
tree | commitdiff |
2010-06-23 |
jjenista | More pieces for new version of analysis |
tree | commitdiff |
2010-06-23 |
yeom | get set up part of the stall site analysis |
tree | commitdiff |
2010-06-23 |
jjenista | Updated taint class to allow call site plus var taints... |
tree | commitdiff |
2010-06-22 |
jjenista | taints at reach graph level implemented |
tree | commitdiff |
2010-06-22 |
jjenista | got the hooks in place to get taints for rblocks |
tree | commitdiff |
2010-06-22 |
yeom | set up OoOJava analysis. |
tree | commitdiff |
2010-06-22 |
jjenista | Getting taints to propagate in new analysis, no paramet... |
tree | commitdiff |
2010-06-21 |
jjenista | capturing partially implemented taints before altering... |
tree | commitdiff |
2010-06-17 |
jjenista | taints working intraprocedurally, a bug in inter I... |
tree | commitdiff |
2010-06-17 |
jjenista | getting parameter taints in new analysis |
tree | commitdiff |
2010-06-17 |
jjenista | get partially set up new version of disjoint analysis... |
tree | commitdiff |
2010-05-27 |
jjenista | porting effects analysis |
tree | commitdiff |
2010-05-26 |
jjenista | porting effects analysis to new disjoint analysis |
tree | commitdiff |
2010-04-19 |
jjenista | bug fix in that return value assignment edges were... |
tree | commitdiff |
2010-04-19 |
jjenista | improving debugging of call site contributions to initi... |
tree | commitdiff |
2010-04-15 |
jjenista | bug fix, some callees were not being rescheduled becaus... |
tree | commitdiff |
2010-04-14 |
jjenista | fixed a bug where retrieving the context contribution... |
tree | commitdiff |
2010-04-12 |
jjenista | adjustments to stack-based method scheduling, debug... |
tree | commitdiff |
2010-04-07 |
jjenista | deterministic mode works |
tree | commitdiff |
2010-04-07 |
jjenista | added compiler option to desire determinism, it current... |
tree | commitdiff |
2010-04-07 |
jjenista | just improved some output |
tree | commitdiff |
2010-04-05 |
jjenista | objects with bamboo-parameter flags got dropped from... |
tree | commitdiff |
2010-04-05 |
jjenista | implemented stack method visit but with callees on... |
tree | commitdiff |
2010-04-02 |
jjenista | bug fixes for unflagged heap regions becoming flagged |
tree | commitdiff |
2010-04-02 |
jjenista | working on bugs, sharing file output updates |
tree | commitdiff |
2010-03-31 |
jjenista | enforce strict monotonicity for initial method contexts... |
tree | commitdiff |
2010-03-30 |
jjenista | turn strong updates back on from yesterday testing... |
tree | commitdiff |
2010-03-30 |
jjenista | why was this missing--latent bug |
tree | commitdiff |
2010-03-30 |
jjenista | bug fixes, make stack/Q method-visiting a cmd line... |
tree | commitdiff |
2010-03-26 |
jjenista | all changes for official testing |
tree | commitdiff |
2010-03-26 |
jjenista | collect last night's changes |
tree | commitdiff |
2010-03-26 |
bdemsky | stack implementation...may expose bugs |
tree | commitdiff |
2010-03-26 |
bdemsky | bug fix |
tree | commitdiff |
2010-03-26 |
bdemsky | bug fix |
tree | commitdiff |
2010-03-25 |
bdemsky | bug fixes and optimizations |
tree | commitdiff |
2010-03-25 |
jjenista | new Canonical hash and equals, also running with assert... |
tree | commitdiff |
2010-03-25 |
jjenista | fixing the heap region descriptions not a pressing... |
tree | commitdiff |
2010-03-25 |
jjenista | bug fixes for task initial heaps and making all new... |
tree | commitdiff |
2010-03-25 |
jjenista | print preds stacked for DOT |
tree | commitdiff |
2010-03-25 |
yeom | bug fixes |
tree | commitdiff |
2010-03-25 |
bdemsky | little optimization to allow it to quickly recompute... |
tree | commitdiff |
2010-03-25 |
bdemsky | code for Jim to use once he gets everything working... |
tree | commitdiff |
2010-03-25 |
yeom | changes for proper handling multi-dimensional array... |
tree | commitdiff |
2010-03-25 |
jjenista | bug fixes |
tree | commitdiff |
2010-03-24 |
jjenista | bug fix in evaluating the various classes of out-of... |
tree | commitdiff |
2010-03-24 |
jjenista | improved debug graph capture |
tree | commitdiff |
2010-03-24 |
jjenista | bug fixes, display improvements, sharing query changes... |
tree | commitdiff |
2010-03-23 |
jjenista | bug fix for primitive parameters, made a simple method... |
tree | commitdiff |
2010-03-23 |
jjenista | little bug fixes, adjusted code for detecting sharing... |
tree | commitdiff |
2010-03-22 |
jjenista | fix bug that a hrn ID integer and a boolean out-of... |
tree | commitdiff |
2010-03-22 |
jjenista | little bug in final reporting |
tree | commitdiff |
2010-03-22 |
jjenista | bug fixes: if an out-of-context edge in callee has... |
tree | commitdiff |
2010-03-22 |
jjenista | wow, this bug has been latent for a long time, easy fix |
tree | commitdiff |
2010-03-22 |
jjenista | add two out-of-context properties to equals and hashcode |
tree | commitdiff |
2010-03-22 |
jjenista | couple fixes to make sure out-of-context nodes get... |
tree | commitdiff |
2010-03-22 |
jjenista | fixed problem by differentiating between an element... |
tree | commitdiff |
2010-03-20 |
jjenista | trying to fix call site transfer bug, fixed caused... |
tree | commitdiff |
2010-03-19 |
yeom | changes. |
tree | commitdiff |
2010-03-19 |
jjenista | making debugging easier |
tree | commitdiff |
2010-03-19 |
jjenista | make sure change sets ignore predicates hanging off... |
tree | commitdiff |
2010-03-19 |
jjenista | make sure straight union of reach states or reach sets... |
tree | commitdiff |
2010-03-19 |
yeom | changes. |
tree | commitdiff |
2010-03-19 |
yeom | add interface. |
tree | commitdiff |
2010-03-18 |
jjenista | couple of little bugs working in tandem to wreck reacha... |
tree | commitdiff |
2010-03-17 |
jjenista | use different graph writing options to better find... |
tree | commitdiff |
2010-03-17 |
jjenista | fixed issues with dot graph writing that make our debug... |
tree | commitdiff |
2010-03-17 |
jjenista | using allocation sites in new ways exposed a latent bug |
tree | commitdiff |
2010-03-17 |
yeom | changes for proper handling field. |
tree | commitdiff |
2010-03-17 |
jjenista | was accidentally dropping param var to node edges when... |
tree | commitdiff |
2010-03-17 |
jjenista | working on reach prop, pred bugs, basic tests still... |
tree | commitdiff |
2010-03-17 |
jjenista | reach propagation not working, getting null states... |
tree | commitdiff |
2010-03-16 |
jjenista | working hard on reachability, bunch of changes, still... |
tree | commitdiff |
2010-03-16 |
yeom | bug fix. |
tree | commitdiff |
2010-03-16 |
yeom | changes for handling tasks. |
tree | commitdiff |
2010-03-16 |
jjenista | checkin a crash fix so yonghun can run on benchmarks... |
tree | commitdiff |
2010-03-16 |
jjenista | updating the global sweep and some related code--this... |
tree | commitdiff |
2010-03-15 |
jjenista | have to test predicates of callee states before admitti... |
tree | commitdiff |
2010-03-15 |
jjenista | lots of untested code, but compiles, for attaching... |
tree | commitdiff |
2010-03-15 |
jjenista | most of the missing context-rewriting code |
tree | commitdiff |
2010-03-13 |
jjenista | a start on reachability, not fully functioning yet |
tree | commitdiff |
2010-03-12 |
jjenista | if an operation on canonical objects wants to use other... |
tree | commitdiff |
2010-03-12 |
jjenista | bunch of bug fixes, graphs appear to be working mechani... |
tree | commitdiff |
2010-03-12 |
jjenista | making a big change to call site transform to calculate... |
tree | commitdiff |
2010-03-11 |
jjenista | debugging something else, but commiting this bug fix... |
tree | commitdiff |
2010-03-11 |
jjenista | bug fix yonghun found, return value's region may be... |
tree | commitdiff |
2010-03-11 |
jjenista | there was a simple fix for variable problem, in new... |
tree | commitdiff |
2010-03-11 |
jjenista | caller local variables to in-context regions are modele... |
tree | commitdiff |
2010-03-11 |
jjenista | Not the most elegant fix, but out-of-context nodes... |
tree | commitdiff |
2010-03-10 |
jjenista | out-of-context edges prevent convergence... |
tree | commitdiff |
2010-03-10 |
jjenista | lots of bug fixes, system cannot compute even simple... |
tree | commitdiff |
2010-03-10 |
jjenista | big checkin, lots of call site transfer bug fixes,... |
tree | commitdiff |
2010-03-09 |
jjenista | callee elements brought into caller get predicates... |
tree | commitdiff |
2010-03-08 |
jjenista | edge merge |
tree | commitdiff |
2010-03-04 |
jjenista | bug fix, other transfer funcs invoke mutating methods... |
tree | commitdiff |
2010-03-04 |
jjenista | getting closer, still major bugs in call site transfer... |
tree | commitdiff |
next |