initial taint should have null whereDefined so we don't get fake cycles
authorbdemsky <bdemsky>
Thu, 24 Mar 2011 06:33:59 +0000 (06:33 +0000)
committerbdemsky <bdemsky>
Thu, 24 Mar 2011 06:33:59 +0000 (06:33 +0000)
commitb55ec248ddcd89e7362f85019f6014b1b8de80ee
tree4af8bf02b8a85b67a718338d01537700de9452e1
parent8f3a479b3a88faf126d3d16262b3d35c32416aeb
initial taint should have null whereDefined so we don't get fake cycles
Robust/src/Analysis/Disjoint/StateMachineForEffects.java
Robust/src/Analysis/Pointer/Pointer.java