2011-06-01 |
jjenista | check points-to module improvements along with a bug... |
blob | commitdiff | raw |
2011-04-27 |
bdemsky | switch to spaces only.. |
blob | commitdiff | raw | diff to current |
2011-04-27 |
bdemsky | Fix tabbing.... Please fix your editors so they do... |
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-21 |
jjenista | capturing partially implemented taints before altering... |
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-24 |
jjenista | bug fix in evaluating the various classes of out-of... |
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-22 |
jjenista | add two out-of-context properties to equals and hashcode |
blob | commitdiff | raw | diff to current |
2010-03-22 |
jjenista | fixed problem by differentiating between an element... |
blob | commitdiff | raw | diff to current |
2010-03-20 |
jjenista | trying to fix call site transfer bug, fixed caused... |
blob | commitdiff | raw | diff to current |
2010-03-11 |
jjenista | caller local variables to in-context regions are modele... |
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-09 |
jjenista | callee elements brought into caller get predicates... |
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-04 |
jjenista | getting closer, still major bugs in call site transfer... |
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 | squashing bugs |
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-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 |
|