2011-04-27 |
bdemsky | switch to spaces only.. |
blob | commitdiff | raw |
2011-04-27 |
bdemsky | Fix tabbing.... Please fix your editors so they do... |
blob | commitdiff | raw | diff to current |
2011-04-06 |
bdemsky | get back some of the speed we are losing from bug fixes... |
blob | commitdiff | raw | diff to current |
2011-03-23 |
bdemsky | bug fixes |
blob | commitdiff | raw | diff to current |
2011-03-18 |
bdemsky | more bug fixes |
blob | commitdiff | raw | diff to current |
2011-03-18 |
bdemsky | commit hacks to effect analysis...interfaces to allow... |
blob | commitdiff | raw | diff to current |
2011-03-18 |
bdemsky | my changes |
blob | commitdiff | raw | diff to current |
2011-03-17 |
bdemsky | changes towards taints |
blob | commitdiff | raw | diff to current |
2011-03-10 |
jjenista | state machines for traverers seem to be working for... |
blob | commitdiff | raw | diff to current |
2011-03-04 |
jjenista | extend taints for a new mode in DFJ that helps build... |
blob | commitdiff | raw | diff to current |
2010-07-26 |
jjenista | bug fix for allowing out-of-contexts taints to flow... |
blob | commitdiff | raw | diff to current |
2010-07-02 |
jjenista | some subtle reach state bug fixes uncovered by labyrint... |
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-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 |
|