more changes...do node-based taints...taint edges...change taintset...
authorbdemsky <bdemsky>
Thu, 17 Mar 2011 07:42:02 +0000 (07:42 +0000)
committerbdemsky <bdemsky>
Thu, 17 Mar 2011 07:42:02 +0000 (07:42 +0000)
commit269bf79b3f73ea3ab963eea045ead60e34f6ca94
treeae704f74fd50569701817f0823d995045b908f05
parent094452de860ddac09fe89bf9dee4f26df2bf80da
more changes...do node-based taints...taint edges...change taintset...
Robust/src/Analysis/Disjoint/Taint.java
Robust/src/Analysis/Disjoint/TaintSet.java
Robust/src/Analysis/Pointer/Delta.java
Robust/src/Analysis/Pointer/Edge.java
Robust/src/Analysis/Pointer/GraphManip.java
Robust/src/Analysis/Pointer/Pointer.java