<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi,<div class=""><br class=""></div><div class="">I am trying to run the IFDSReachingDefinitions analysis on a trivial example. However, I am getting the exception included below. I suspect that this is an issue with how I configure soot. I have to apologize if the question is naive, I am just getting started with soot.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">— Octav</div><div class=""><br class=""></div><div class=""><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class="">[Thread-1] ERROR heros.solver.IDESolver - Worker thread execution failed: Index: 0, Size: 0</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(4, 51, 255);" class=""><span style="text-decoration: underline" class="">java.lang.IndexOutOfBoundsException</span><span style="color: #ff2600" class="">: Index: 0, Size: 0</span></div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.ArrayList.rangeCheck(<span style="text-decoration: underline ; color: #0433ff" class="">ArrayList.java:635</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.ArrayList.get(<span style="text-decoration: underline ; color: #0433ff" class="">ArrayList.java:411</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.Collections$UnmodifiableList.get(<span style="text-decoration: underline ; color: #0433ff" class="">Collections.java:1211</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.SootMethod.getParameterType(<span style="text-decoration: underline ; color: #0433ff" class="">SootMethod.java:266</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions$1$2.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">IFDSReachingDefinitions.java:111</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions$1$2.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">IFDSReachingDefinitions.java:1</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.ZeroedFlowFunctions$ZeroedFlowFunction.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">ZeroedFlowFunctions.java:58</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.computeCallFlowFunction(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:397</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.processCall(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:330</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.access$0(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:313</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver$PathEdgeProcessingTask.run(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:856</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.concurrent.ThreadPoolExecutor.runWorker(<span style="text-decoration: underline ; color: #0433ff" class="">ThreadPoolExecutor.java:1145</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.concurrent.ThreadPoolExecutor$Worker.run(<span style="text-decoration: underline ; color: #0433ff" class="">ThreadPoolExecutor.java:615</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Thread.run(<span style="text-decoration: underline ; color: #0433ff" class="">Thread.java:744</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class="">Exception in thread "Thread-1" <span style="text-decoration: underline ; color: #0433ff" class="">java.lang.InterruptedException</span></div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.concurrent.locks.AbstractQueuedSynchronizer.doAcquireSharedInterruptibly(<span style="text-decoration: underline ; color: #0433ff" class="">AbstractQueuedSynchronizer.java:996</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireSharedInterruptibly(<span style="text-decoration: underline ; color: #0433ff" class="">AbstractQueuedSynchronizer.java:1303</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.CountLatch.awaitZero(<span style="text-decoration: underline ; color: #0433ff" class="">CountLatch.java:75</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.CountingThreadPoolExecutor.awaitCompletion(<span style="text-decoration: underline ; color: #0433ff" class="">CountingThreadPoolExecutor.java:79</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.runExecutorAndAwaitCompletion(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:258</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.awaitCompletionComputeValuesAndShutdown(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:233</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.solve(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:207</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.jimple.toolkits.ide.JimpleIFDSSolver.solve(<span style="text-decoration: underline ; color: #0433ff" class="">JimpleIFDSSolver.java:54</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at ReachingDefinitions$1.internalTransform(<span style="text-decoration: underline ; color: #0433ff" class="">ReachingDefinitions.java:40</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.SceneTransformer.transform(<span style="text-decoration: underline ; color: #0433ff" class="">SceneTransformer.java:39</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.Transform.apply(<span style="text-decoration: underline ; color: #0433ff" class="">Transform.java:90</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.ScenePack.internalApply(<span style="text-decoration: underline ; color: #0433ff" class="">ScenePack.java:40</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.Pack.apply(<span style="text-decoration: underline ; color: #0433ff" class="">Pack.java:116</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.PackManager.runWholeProgramPacks(<span style="text-decoration: underline ; color: #0433ff" class="">PackManager.java:564</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.PackManager.runPacksNormally(<span style="text-decoration: underline ; color: #0433ff" class="">PackManager.java:456</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.PackManager.runPacks(<span style="text-decoration: underline ; color: #0433ff" class="">PackManager.java:391</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.Main.run(<span style="text-decoration: underline ; color: #0433ff" class="">Main.java:244</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.Main.main(<span style="text-decoration: underline ; color: #0433ff" class="">Main.java:152</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at ReachingDefinitions.main(<span style="text-decoration: underline ; color: #0433ff" class="">ReachingDefinitions.java:46</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(4, 51, 255);" class=""><span style="text-decoration: underline" class="">java.lang.IndexOutOfBoundsException</span><span style="color: #ff2600" class="">: Index: 0, Size: 0</span></div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.ArrayList.rangeCheck(<span style="text-decoration: underline ; color: #0433ff" class="">ArrayList.java:635</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.ArrayList.get(<span style="text-decoration: underline ; color: #0433ff" class="">ArrayList.java:411</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.Collections$UnmodifiableList.get(<span style="text-decoration: underline ; color: #0433ff" class="">Collections.java:1211</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.SootMethod.getParameterType(<span style="text-decoration: underline ; color: #0433ff" class="">SootMethod.java:266</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions$1$2.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">IFDSReachingDefinitions.java:111</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions$1$2.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">IFDSReachingDefinitions.java:1</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.ZeroedFlowFunctions$ZeroedFlowFunction.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">ZeroedFlowFunctions.java:58</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.computeCallFlowFunction(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:397</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.processCall(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:330</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.access$0(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:313</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver$PathEdgeProcessingTask.run(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:856</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.concurrent.ThreadPoolExecutor.runWorker(<span style="text-decoration: underline ; color: #0433ff" class="">ThreadPoolExecutor.java:1145</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.concurrent.ThreadPoolExecutor$Worker.run(<span style="text-decoration: underline ; color: #0433ff" class="">ThreadPoolExecutor.java:615</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Thread.run(<span style="text-decoration: underline ; color: #0433ff" class="">Thread.java:744</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span style="text-decoration: underline ; color: #0433ff" class="">java.lang.RuntimeException</span>: There were exceptions during IDE analysis. Exiting.</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.runExecutorAndAwaitCompletion(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:264</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.awaitCompletionComputeValuesAndShutdown(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:233</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.solve(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:207</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.jimple.toolkits.ide.JimpleIFDSSolver.solve(<span style="text-decoration: underline ; color: #0433ff" class="">JimpleIFDSSolver.java:54</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at ReachingDefinitions$1.internalTransform(<span style="text-decoration: underline ; color: #0433ff" class="">ReachingDefinitions.java:40</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.SceneTransformer.transform(<span style="text-decoration: underline ; color: #0433ff" class="">SceneTransformer.java:39</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.Transform.apply(<span style="text-decoration: underline ; color: #0433ff" class="">Transform.java:90</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.ScenePack.internalApply(<span style="text-decoration: underline ; color: #0433ff" class="">ScenePack.java:40</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.Pack.apply(<span style="text-decoration: underline ; color: #0433ff" class="">Pack.java:116</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.PackManager.runWholeProgramPacks(<span style="text-decoration: underline ; color: #0433ff" class="">PackManager.java:564</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.PackManager.runPacksNormally(<span style="text-decoration: underline ; color: #0433ff" class="">PackManager.java:456</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.PackManager.runPacks(<span style="text-decoration: underline ; color: #0433ff" class="">PackManager.java:391</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.Main.run(<span style="text-decoration: underline ; color: #0433ff" class="">Main.java:244</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.Main.main(<span style="text-decoration: underline ; color: #0433ff" class="">Main.java:152</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at ReachingDefinitions.main(<span style="text-decoration: underline ; color: #0433ff" class="">ReachingDefinitions.java:46</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(4, 51, 255);" class=""><span style="color: #ff2600" class="">Caused by: </span><span style="text-decoration: underline" class="">java.lang.IndexOutOfBoundsException</span><span style="color: #ff2600" class="">: Index: 0, Size: 0</span></div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.ArrayList.rangeCheck(<span style="text-decoration: underline ; color: #0433ff" class="">ArrayList.java:635</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.ArrayList.get(<span style="text-decoration: underline ; color: #0433ff" class="">ArrayList.java:411</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.Collections$UnmodifiableList.get(<span style="text-decoration: underline ; color: #0433ff" class="">Collections.java:1211</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.SootMethod.getParameterType(<span style="text-decoration: underline ; color: #0433ff" class="">SootMethod.java:266</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions$1$2.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">IFDSReachingDefinitions.java:111</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions$1$2.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">IFDSReachingDefinitions.java:1</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.ZeroedFlowFunctions$ZeroedFlowFunction.computeTargets(<span style="text-decoration: underline ; color: #0433ff" class="">ZeroedFlowFunctions.java:58</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.computeCallFlowFunction(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:397</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.processCall(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:330</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver.access$0(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:313</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at heros.solver.IDESolver$PathEdgeProcessingTask.run(<span style="text-decoration: underline ; color: #0433ff" class="">IDESolver.java:856</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.concurrent.ThreadPoolExecutor.runWorker(<span style="text-decoration: underline ; color: #0433ff" class="">ThreadPoolExecutor.java:1145</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.util.concurrent.ThreadPoolExecutor$Worker.run(<span style="text-decoration: underline ; color: #0433ff" class="">ThreadPoolExecutor.java:615</span>)</div><div style="margin: 0px; font-size: 11px; font-family: Monaco; color: rgb(255, 38, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>at java.lang.Thread.run(<span style="text-decoration: underline ; color: #0433ff" class="">Thread.java:744</span>)</div><div apple-content-edited="true" class=""><br class="Apple-interchange-newline">
</div>
<br class=""></div></body></html>