Programming Languages Research Group: Git

author	jjenista <jjenista>
	Fri, 7 Oct 2011 21:16:48 +0000 (21:16 +0000)
committer	jjenista <jjenista>
	Fri, 7 Oct 2011 21:16:48 +0000 (21:16 +0000)
commit	64ab9a68b349fef02f9c8de0992054384a4dc1cf
tree	630e584cb2e26a4f2acb15a24a6db8cfe0d2ca9a	tree \| snapshot
parent	9568710fbfe3f83843cf0d67ba7849593477effe	commit \| diff

fix a bug for Taint similar to ReachState, when either is an element of an ExistPred, SCRUB the preds on the taint and reach state before adding it, and within ExistPred use the equalsIgnorePreds and hashCodeNoPreds variants

Irvine Research Compiler

RSS Atom

Robust/src/Analysis/Disjoint/DisjointAnalysis.java		diff \| blob \| history
Robust/src/Analysis/Disjoint/ExistPred.java		diff \| blob \| history
Robust/src/Analysis/Disjoint/RefEdge.java		diff \| blob \| history
Robust/src/Analysis/Disjoint/Taint.java		diff \| blob \| history
Robust/src/Benchmarks/oooJava/master-makefile		diff \| blob \| history