Skip to content

Commit e40dcd7

Browse files
committed
Also clear deferred paths and so on
1 parent 530e0e2 commit e40dcd7

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/postProcessor/SummaryPathBuilder.java

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -221,6 +221,8 @@ public void clear() {
221221
resultInfos.clear();
222222
visitedAbstractions.clear();
223223
pathCache.clear();
224+
deferredPaths.clear();
225+
sourceReachingScaps.clear();
224226
}
225227

226228
/**

0 commit comments

Comments
 (0)