Skip to content

Commit c576b27

Browse files
committed
fixed a concurrency problem with the executor
1 parent ad7920f commit c576b27

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -59,10 +59,10 @@ public void computeTaintPaths(final Set<AbstractionAtSink> res) {
5959
long startTime = System.nanoTime();
6060
long totalTime = manager.getConfig().getPathConfiguration().getPathReconstructionTotalTime();
6161

62-
for (final AbstractionAtSink abs : res) {
63-
// We need to reset the executor before we can submit new jobs
64-
executor.reset();
62+
// We need to reset the executor before we can submit new jobs
63+
executor.reset();
6564

65+
for (final AbstractionAtSink abs : res) {
6666
// The solver may already have been killed
6767
if (killFlag != null) {
6868
// Reduce the memory pressure

0 commit comments

Comments
 (0)