| 2010-06-29 |
jjenista | getting close to effects for new disjoint analysis
|
commit | commitdiff | tree |
| 2010-06-29 |
jjenista | little bug fix
|
commit | commitdiff | tree |
| 2010-06-29 |
jjenista | stall site critical regions implemented, including...
|
commit | commitdiff | tree |
| 2010-06-28 |
jjenista | restate inaccessible vars for stall site so facts get...
|
commit | commitdiff | tree |
| 2010-06-28 |
jjenista | more effects bug fixes
|
commit | commitdiff | tree |
| 2010-06-28 |
jjenista | bug fixes for effects analysis
|
commit | commitdiff | tree |
| 2010-06-28 |
jjenista | stall site taints propagate awesomely, get cleared...
|
commit | commitdiff | tree |
| 2010-06-28 |
jjenista | forgot to add moved files back in, injecting stall...
|
commit | commitdiff | tree |
| 2010-06-28 |
jjenista | changed organization and brought in a few new pieces...
|
commit | commitdiff | tree |
| 2010-06-26 |
jjenista | Do effects as a global space, don't even need to consider...
|
commit | commitdiff | tree |
| 2010-06-26 |
jjenista | both reach states and taints were not propagating to...
|
commit | commitdiff | tree |
| 2010-06-25 |
jjenista | getting effects analysis going, need a few more pieces...
|
commit | commitdiff | tree |
| 2010-06-25 |
jjenista | rblock effects dont collect over method call, but its...
|
commit | commitdiff | tree |
| 2010-06-25 |
jjenista | analysis collects effects per method and interprocedurally
|
commit | commitdiff | tree |
| 2010-06-24 |
jjenista | bug fix, now interprocedural seems cool, unitl the...
|
commit | commitdiff | tree |
| 2010-06-24 |
jjenista | taints tested, propagate interprocedurally
|
commit | commitdiff | tree |
| 2010-06-24 |
jjenista | rblock in set vars get tainted on rblock enter and...
|
commit | commitdiff | tree |
| 2010-06-24 |
jjenista | just an interesting test case I never got around to...
|
commit | commitdiff | tree |
| 2010-06-24 |
jjenista | add rblock relation analysis and makefile aware of...
|
commit | commitdiff | tree |
| 2010-06-23 |
jjenista | More pieces for new version of analysis
|
commit | commitdiff | tree |
| 2010-06-23 |
jjenista | Updated taint class to allow call site plus var taints...
|
commit | commitdiff | tree |
| 2010-06-22 |
jjenista | taints at reach graph level implemented
|
commit | commitdiff | tree |
| 2010-06-22 |
jjenista | got the hooks in place to get taints for rblocks
|
commit | commitdiff | tree |
| 2010-06-22 |
jjenista | Getting taints to propagate in new analysis, no parameter...
|
commit | commitdiff | tree |
| 2010-06-21 |
jjenista | capturing partially implemented taints before altering...
|
commit | commitdiff | tree |
| 2010-06-17 |
jjenista | taints working intraprocedurally, a bug in inter I...
|
commit | commitdiff | tree |
| 2010-06-17 |
jjenista | getting parameter taints in new analysis
|
commit | commitdiff | tree |
| 2010-06-17 |
jjenista | get partially set up new version of disjoint analysis...
|
commit | commitdiff | tree |
| 2010-05-27 |
jjenista | porting effects analysis
|
commit | commitdiff | tree |
| 2010-05-26 |
jjenista | porting effects analysis to new disjoint analysis
|
commit | commitdiff | tree |
| 2010-05-26 |
jjenista | Can now use the rblock keyword instead of sese keyword...
|
commit | commitdiff | tree |
| 2010-05-25 |
jjenista | A nice example of using OoOJava to parallelize an algorithm...
|
commit | commitdiff | tree |
| 2010-05-11 |
jjenista | throw error instead of exit so caller code can report...
|
commit | commitdiff | tree |
| 2010-05-10 |
jjenista | Added the this() explicit constructor invocation which...
|
commit | commitdiff | tree |
| 2010-04-19 |
jjenista | bug fix in that return value assignment edges were...
|
commit | commitdiff | tree |
| 2010-04-19 |
jjenista | reporting on new analysis doing good job with benchmarks now
|
commit | commitdiff | tree |
| 2010-04-19 |
jjenista | improving debugging of call site contributions to initial...
|
commit | commitdiff | tree |
| 2010-04-15 |
jjenista | bug fix, some callees were not being rescheduled because...
|
commit | commitdiff | tree |
| 2010-04-14 |
jjenista | fixed a bug where retrieving the context contribution...
|
commit | commitdiff | tree |
| 2010-04-12 |
jjenista | adjustments to stack-based method scheduling, debug...
|
commit | commitdiff | tree |
| 2010-04-09 |
jjenista | trying to isolate a bug from MapReduceTag in a miniature...
|
commit | commitdiff | tree |
| 2010-04-09 |
jjenista | an example program using StringTokenizer
|
commit | commitdiff | tree |
| 2010-04-07 |
jjenista | deterministic mode works
|
commit | commitdiff | tree |
| 2010-04-07 |
jjenista | added compiler option to desire determinism, it currently...
|
commit | commitdiff | tree |
| 2010-04-07 |
jjenista | one sharing discrepancy resolved
|
commit | commitdiff | tree |
| 2010-04-07 |
jjenista | just improved some output
|
commit | commitdiff | tree |
| 2010-04-06 |
jjenista | changes to automate old and new analysis benchmark...
|
commit | commitdiff | tree |
| 2010-04-06 |
jjenista | results show all visit methods roughly equal now, still...
|
commit | commitdiff | tree |
| 2010-04-06 |
jjenista | raw results from overnight test
|
commit | commitdiff | tree |
| 2010-04-05 |
jjenista | objects with bamboo-parameter flags got dropped from...
|
commit | commitdiff | tree |
| 2010-04-05 |
jjenista | implemented stack method visit but with callees on...
|
commit | commitdiff | tree |
| 2010-04-02 |
jjenista | bug fixes for unflagged heap regions becoming flagged
|
commit | commitdiff | tree |
| 2010-04-02 |
jjenista | working on bugs, sharing file output updates
|
commit | commitdiff | tree |
| 2010-03-31 |
jjenista | enforce strict monotonicity for initial method contexts...
|
commit | commitdiff | tree |
| 2010-03-30 |
jjenista | turn strong updates back on from yesterday testing...
|
commit | commitdiff | tree |
| 2010-03-30 |
jjenista | a test that shows our analysis doesn't always terminate
|
commit | commitdiff | tree |
| 2010-03-30 |
jjenista | why was this missing--latent bug
|
commit | commitdiff | tree |
| 2010-03-30 |
jjenista | bug fixes, make stack/Q method-visiting a cmd line...
|
commit | commitdiff | tree |
| 2010-03-26 |
jjenista | all changes for official testing
|
commit | commitdiff | tree |
| 2010-03-26 |
jjenista | collect last night's changes
|
commit | commitdiff | tree |
| 2010-03-26 |
jjenista | current version of benchmark lists and run modes
|
commit | commitdiff | tree |
| 2010-03-25 |
jjenista | a helpful makefile to run for the record
|
commit | commitdiff | tree |
| 2010-03-25 |
jjenista | new Canonical hash and equals, also running with assertions...
|
commit | commitdiff | tree |
| 2010-03-25 |
jjenista | fixing the heap region descriptions not a pressing...
|
commit | commitdiff | tree |
| 2010-03-25 |
jjenista | makefile for checking final results
|
commit | commitdiff | tree |
| 2010-03-25 |
jjenista | bug fixes for task initial heaps and making all new...
|
commit | commitdiff | tree |
| 2010-03-25 |
jjenista | print preds stacked for DOT
|
commit | commitdiff | tree |
| 2010-03-25 |
jjenista | bug fixes
|
commit | commitdiff | tree |
| 2010-03-24 |
jjenista | bug fix in evaluating the various classes of out-of...
|
commit | commitdiff | tree |
| 2010-03-24 |
jjenista | improved debug graph capture
|
commit | commitdiff | tree |
| 2010-03-24 |
jjenista | just giving the task a name different from the Lambda...
|
commit | commitdiff | tree |
| 2010-03-24 |
jjenista | bug fixes, display improvements, sharing query changes...
|
commit | commitdiff | tree |
| 2010-03-23 |
jjenista | bug fix for primitive parameters, made a simple method...
|
commit | commitdiff | tree |
| 2010-03-23 |
jjenista | little bug fixes, adjusted code for detecting sharing...
|
commit | commitdiff | tree |
| 2010-03-22 |
jjenista | fix bug that a hrn ID integer and a boolean out-of...
|
commit | commitdiff | tree |
| 2010-03-22 |
jjenista | little bug in final reporting
|
commit | commitdiff | tree |
| 2010-03-22 |
jjenista | bug fixes: if an out-of-context edge in callee has...
|
commit | commitdiff | tree |
| 2010-03-22 |
jjenista | wow, this bug has been latent for a long time, easy fix
|
commit | commitdiff | tree |
| 2010-03-22 |
jjenista | add two out-of-context properties to equals and hashcode
|
commit | commitdiff | tree |
| 2010-03-22 |
jjenista | makefile for new analysis version for benchmarks
|
commit | commitdiff | tree |
| 2010-03-22 |
jjenista | couple fixes to make sure out-of-context nodes get...
|
commit | commitdiff | tree |
| 2010-03-22 |
jjenista | fixed problem by differentiating between an element...
|
commit | commitdiff | tree |
| 2010-03-20 |
jjenista | trying to fix call site transfer bug, fixed caused...
|
commit | commitdiff | tree |
| 2010-03-19 |
jjenista | making debugging easier
|
commit | commitdiff | tree |
| 2010-03-19 |
jjenista | make sure change sets ignore predicates hanging off...
|
commit | commitdiff | tree |
| 2010-03-19 |
jjenista | make sure straight union of reach states or reach sets...
|
commit | commitdiff | tree |
| 2010-03-18 |
jjenista | couple of little bugs working in tandem to wreck reachabilit...
|
commit | commitdiff | tree |
| 2010-03-17 |
jjenista | use different graph writing options to better find...
|
commit | commitdiff | tree |
| 2010-03-17 |
jjenista | fixed issues with dot graph writing that make our debugging...
|
commit | commitdiff | tree |
| 2010-03-17 |
jjenista | using allocation sites in new ways exposed a latent bug
|
commit | commitdiff | tree |
| 2010-03-17 |
jjenista | was accidentally dropping param var to node edges when...
|
commit | commitdiff | tree |
| 2010-03-17 |
jjenista | working on reach prop, pred bugs, basic tests still...
|
commit | commitdiff | tree |
| 2010-03-17 |
jjenista | reach propagation not working, getting null states...
|
commit | commitdiff | tree |
| 2010-03-16 |
jjenista | working hard on reachability, bunch of changes, still...
|
commit | commitdiff | tree |
| 2010-03-16 |
jjenista | checkin a crash fix so yonghun can run on benchmarks...
|
commit | commitdiff | tree |
| 2010-03-16 |
jjenista | updating the global sweep and some related code--this...
|
commit | commitdiff | tree |
| 2010-03-15 |
jjenista | have to test predicates of callee states before admitting...
|
commit | commitdiff | tree |
| 2010-03-15 |
jjenista | lots of untested code, but compiles, for attaching...
|
commit | commitdiff | tree |
| 2010-03-15 |
jjenista | most of the missing context-rewriting code
|
commit | commitdiff | tree |
| 2010-03-13 |
jjenista | a start on reachability, not fully functioning yet
|
commit | commitdiff | tree |
| next |
projects / IRC.git / search