| 2010-06-28 |
jjenista | forgot to add moved files back in, injecting stall... |
blob | commitdiff | raw |
| 2010-06-26 |
jjenista | both reach states and taints were not propagating to... |
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-24 |
jjenista | bug fix, now interprocedural seems cool, unitl the... |
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 | Updated taint class to allow call site plus var taints... |
blob | commitdiff | raw | diff to current |
| 2010-06-22 |
jjenista | Getting taints to propagate in new analysis, no paramet... |
blob | commitdiff | raw | diff to current |
| 2010-06-21 |
jjenista | capturing partially implemented taints before altering... |
blob | commitdiff | raw | diff to current |
| 2010-05-27 |
jjenista | porting effects analysis |
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-19 |
jjenista | make sure change sets ignore predicates hanging off... |
blob | commitdiff | raw | diff to current |
| 2010-03-19 |
jjenista | make sure straight union of reach states or reach sets... |
blob | commitdiff | raw | diff to current |
| 2010-03-18 |
jjenista | couple of little bugs working in tandem to wreck reacha... |
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-15 |
jjenista | have to test predicates of callee states before admitti... |
blob | commitdiff | raw | diff to current |
| 2010-03-15 |
jjenista | lots of untested code, but compiles, for attaching... |
blob | commitdiff | raw | diff to current |
| 2010-03-15 |
jjenista | most of the missing context-rewriting code |
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-12 |
jjenista | if an operation on canonical objects wants to use other... |
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 | squashing bugs |
blob | commitdiff | raw | diff to current |
| 2010-02-19 |
jjenista | analysis not terminating, looking for things that shoul... |
blob | commitdiff | raw | diff to current |
| 2010-02-19 |
jjenista | big update--bringing implementation of new analysis... |
blob | commitdiff | raw | diff to current |
| 2009-12-09 |
jjenista | changes |
blob | commitdiff | raw | diff to current |
| 2009-12-02 |
jjenista | start of a revised disjoint reachability analysis |
blob | commitdiff | raw | diff to current |
|
projects / IRC.git / history