Programming Languages Research Group: Git

author	jjenista <jjenista>
	Sat, 26 Jun 2010 19:18:50 +0000 (19:18 +0000)
committer	jjenista <jjenista>
	Sat, 26 Jun 2010 19:18:50 +0000 (19:18 +0000)
commit	85a9d07d9290e93f7de0db34b3d2ebbdd3b9ca8b
tree	4a077bce3785f47a67e306a111437c3ca27d592e	tree \| snapshot
parent	bacb84f4097e4cdc200c649e74e9bec541bac637	commit \| diff

both reach states and taints were not propagating to caller contexts with the correct caller-context predicates. They should get the caller context predicates from the pre-call-site state or taint that indicated they should be brought from the callee.

Irvine Research Compiler

RSS Atom

Robust/src/Analysis/Disjoint/Canonical.java		diff \| blob \| history
Robust/src/Analysis/Disjoint/CanonicalOp.java		diff \| blob \| history
Robust/src/Analysis/Disjoint/ExistPred.java		diff \| blob \| history
Robust/src/Analysis/Disjoint/ReachGraph.java		diff \| blob \| history
Robust/src/Tests/disjoint/taintTest1/makefile		diff \| blob \| history