Skip to content

Commit a0a3dd8

Browse files
committed
Fix tests
1 parent fc20eaf commit a0a3dd8

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

soot-infoflow/src/soot/jimple/infoflow/collections/strategies/widening/WideningTaintPropagationHandler.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ public boolean notifyFlowOut(Unit stmt, Abstraction d1, Abstraction incoming, Se
5151
Abstraction abs = it.next();
5252
Abstraction widened = wideningStrategy.widen(incoming, abs, stmt);
5353
if (widened != abs) {
54-
outgoing.add(widened);
54+
toAdd.add(widened);
5555
it.remove();
5656
}
5757
}

soot-infoflow/test/soot/jimple/infoflow/test/junit/HeapTests.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1309,8 +1309,8 @@ public void notifyFlowIn(Unit stmt, Abstraction taint, InfoflowManager manager,
13091309
}
13101310

13111311
@Override
1312-
public Set<Abstraction> notifyFlowOut(Unit stmt, Abstraction d1, Abstraction incoming, Set<Abstraction> outgoing, InfoflowManager manager, FlowFunctionType type) {
1313-
return outgoing;
1312+
public boolean notifyFlowOut(Unit stmt, Abstraction d1, Abstraction incoming, Set<Abstraction> outgoing, InfoflowManager manager, FlowFunctionType type) {
1313+
return false;
13141314
}
13151315
});
13161316
epoints.add("<soot.jimple.infoflow.test.HeapTestCode: void identityStmtIsNotAGoodHandoverPoint()>");

0 commit comments

Comments
 (0)