make sure that the executor is terminated

StevenArzt · StevenArzt · commit 32fc8115515b · 2021-11-26T09:41:16.000+01:00
diff --git a/soot-infoflow/src/soot/jimple/infoflow/data/pathBuilders/DefaultPathBuilderFactory.java b/soot-infoflow/src/soot/jimple/infoflow/data/pathBuilders/DefaultPathBuilderFactory.java
@@ -53,8 +53,11 @@ public ShutdownBatchPathBuilder(InfoflowManager manager, RepeatableContextSensit
 
 		@Override
 		public void computeTaintPaths(Set<AbstractionAtSink> res) {
-			super.computeTaintPaths(res);
-			((RepeatableContextSensitivePathBuilder) innerBuilder).onTaintPathsComputed();
+			try {
+				super.computeTaintPaths(res);
+			} finally {
+				((RepeatableContextSensitivePathBuilder) innerBuilder).onTaintPathsComputed();
+			}
 		}
 
 	}

Original file line number	Diff line number	Diff line change
`@@ -53,8 +53,11 @@ public ShutdownBatchPathBuilder(InfoflowManager manager, RepeatableContextSensit`
`53`	`53`
`54`	`54`	`@Override`
`55`	`55`	`public void computeTaintPaths(Set<AbstractionAtSink> res) {`
`56`		`- super.computeTaintPaths(res);`
`57`		`- ((RepeatableContextSensitivePathBuilder) innerBuilder).onTaintPathsComputed();`
	`56`	`+ try {`
	`57`	`+ super.computeTaintPaths(res);`
	`58`	`+ } finally {`
	`59`	`+ ((RepeatableContextSensitivePathBuilder) innerBuilder).onTaintPathsComputed();`
	`60`	`+ }`
`58`	`61`	`}`
`59`	`62`
`60`	`63`	`}`