projects / IRC.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
adding a test case
[IRC.git] / Robust / src / Tests / disjoint / taintTest1 /
2010-06-29 jjenistalittle bug fix tree | commitdiff
2010-06-29 jjenistastall site critical regions implemented, including... tree | commitdiff
2010-06-28 jjenistarestate inaccessible vars for stall site so facts get... tree | commitdiff
2010-06-28 yeomnew test case. tree | commitdiff
2010-06-28 jjenistastall site taints propagate awesomely, get cleared... tree | commitdiff
2010-06-28 jjenistaforgot to add moved files back in, injecting stall... tree | commitdiff
2010-06-26 jjenistaDo effects as a global space, don't even need to consid... tree | commitdiff
2010-06-26 jjenistaboth reach states and taints were not propagating to... tree | commitdiff
2010-06-25 jjenistagetting effects analysis going, need a few more pieces... tree | commitdiff
2010-06-25 jjenistaanalysis collects effects per method and interprocedurally tree | commitdiff
2010-06-24 jjenistabug fix, now interprocedural seems cool, unitl the... tree | commitdiff
2010-06-24 jjenistataints tested, propagate interprocedurally tree | commitdiff
2010-06-24 jjenistarblock in set vars get tainted on rblock enter and... tree | commitdiff
2010-06-22 jjenistataints at reach graph level implemented tree | commitdiff
2010-06-22 jjenistagot the hooks in place to get taints for rblocks tree | commitdiff
2010-06-21 jjenistacapturing partially implemented taints before altering... tree | commitdiff
2010-06-17 jjenistataints working intraprocedurally, a bug in inter I... tree | commitdiff
2010-06-17 jjenistagetting parameter taints in new analysis tree | commitdiff
Irvine Research Compiler