Fix condition in notifyFlowOut call

MarcMil · web-flow · commit 5e1f948cc6cd · 2025-12-07T10:19:01.000+01:00
diff --git a/soot-infoflow/src/soot/jimple/infoflow/handlers/SequentialTaintPropagationHandler.java b/soot-infoflow/src/soot/jimple/infoflow/handlers/SequentialTaintPropagationHandler.java
@@ -69,7 +69,7 @@ public boolean notifyFlowOut(Unit stmt, Abstraction d1, Abstraction incoming, Se
 
 		boolean killed = false;
 		for (TaintPropagationHandler handler : innerHandlers) {
-			if (!handler.notifyFlowOut(stmt, d1, incoming, outgoing, manager, type))
+			if (handler.notifyFlowOut(stmt, d1, incoming, outgoing, manager, type))
 				killed = true;
 		}
 		return killed;

Original file line number	Diff line number	Diff line change
`@@ -69,7 +69,7 @@ public boolean notifyFlowOut(Unit stmt, Abstraction d1, Abstraction incoming, Se`
`69`	`69`
`70`	`70`	`boolean killed = false;`
`71`	`71`	`for (TaintPropagationHandler handler : innerHandlers) {`
`72`		`- if (!handler.notifyFlowOut(stmt, d1, incoming, outgoing, manager, type))`
	`72`	`+ if (handler.notifyFlowOut(stmt, d1, incoming, outgoing, manager, type))`
`73`	`73`	`killed = true;`
`74`	`74`	`}`
`75`	`75`	`return killed;`