taints working intraprocedurally, a bug in inter I'm working out now
[IRC.git] / Robust / src / Tests / disjoint / predicateTest2 /
2010-03-12 jjenistabunch of bug fixes, graphs appear to be working mechani...
2010-03-11 jjenistadebugging something else, but commiting this bug fix...
2010-03-11 jjenistabug fix yonghun found, return value's region may be...
2010-03-11 jjenistathere was a simple fix for variable problem, in new...
2010-03-11 jjenistacaller local variables to in-context regions are modele...
2010-03-10 jjenistalots of bug fixes, system cannot compute even simple...
2010-03-10 jjenistabig checkin, lots of call site transfer bug fixes,...
2010-03-09 jjenistacallee elements brought into caller get predicates...
2010-03-08 jjenistaedge merge
2010-03-04 jjenistabug fix, other transfer funcs invoke mutating methods...
2010-03-04 jjenistagetting closer, still major bugs in call site transfer...
2010-02-11 jjenistareevaluating abstract garbage collection, for now leave...
2010-02-04 jjenistaimplementing