Merge pull request #599 from ruffer-j/develop

fixed killState activation

Author: StevenArzt

soot-infoflow/src/soot/jimple/infoflow/problems/rules/forward/SinkPropagationRule.java

@@ -5,10 +5,7 @@
 import soot.SootMethod;
 import soot.Value;
 import soot.jimple.AssignStmt;
-import soot.jimple.DefinitionStmt;
-import soot.jimple.FieldRef;
 import soot.jimple.IfStmt;
-import soot.jimple.InstanceFieldRef;
 import soot.jimple.InstanceInvokeExpr;
 import soot.jimple.InvokeExpr;
 import soot.jimple.LookupSwitchStmt;
@@ -84,7 +81,7 @@ private void checkForSink(Abstraction d1, Abstraction source, Stmt stmt, final V
 				if (aliasing.mayAlias(val, ap.getPlainValue())) {
 					SinkInfo sinkInfo = sourceSinkManager.getSinkInfo(stmt, getManager(), source.getAccessPath());
 					if (sinkInfo != null) {
-						if (getResults().addResult(new AbstractionAtSink(sinkInfo.getDefinition(), source, stmt)))
+						if (!getResults().addResult(new AbstractionAtSink(sinkInfo.getDefinition(), source, stmt)))
 							killState = true;
 					}
 				}