Skip to content

Commit e3e093b

Browse files
committed
fix: termine the executor
1 parent 17321dc commit e3e093b

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

soot-infoflow/src/soot/jimple/infoflow/data/pathBuilders/ContextSensitivePathBuilder.java

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -225,6 +225,8 @@ public void computeTaintPaths(Set<AbstractionAtSink> res) {
225225
executor.awaitCompletion();
226226
} catch (InterruptedException e) {
227227
logger.error("Could not wait for executor termination", e);
228+
} finally {
229+
onTaintPathsComputed();
228230
}
229231
}
230232

0 commit comments

Comments
 (0)