<html><head></head><body><div style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div></div>
<div>Thank you Jan,</div><div>I will try to work on PackManager class (on local first, if results are good I will create a pull request).</div><div><br></div><div>Paolo</div><div><br></div>
<div id="ydp1176852byahoo_quoted_2647406133" class="ydp1176852byahoo_quoted">
<div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
<div>
On Sunday, 25 March 2018, 12:51:42 CEST, Jan Peter Stotz <jan-peter.stotz@sit.fraunhofer.de> wrote:
</div>
<div><br></div>
<div><br></div>
<div><div dir="ltr">Hi Paolo,<br clear="none"><br clear="none">now I understand. There is an Exception caught by Soot and you only see <br clear="none">it in the logs/console output. From my perspective there is only one way <br clear="none">to deal with this problem:<br clear="none"><br clear="none">Modify the source code of Soot so that the Exception is correctly <br clear="none">handled. You can modify it and create a Github pull request.<br clear="none"><br clear="none"> From my perspective the problem is located in soot.PackManager [1].<br clear="none">It uses multiple times ThreadPoolExecutor and executes Runnable within <br clear="none">those Executors. The disadvantage of Runnables is that the Exceptions <br clear="none">are lost if not handled separately.<br clear="none">Instead Callable<Void> implementations should be used. When submitting a <br clear="none">Callable you get a Future. When checking the future for the result (via <br clear="none">get()) a potential Exception thrown inside of the Callable is propagated <br clear="none">to the outside.<br clear="none"><br clear="none">This is what you need.<div class="ydp1176852byqt1658866028" id="ydp1176852byqtfd92886"><br clear="none"><br clear="none">Jan<br clear="none"><br clear="none">[1] </div><br clear="none"><a shape="rect" href="https://github.com/Sable/soot/blob/develop/src/main/java/soot/PackManager.java" rel="nofollow" target="_blank">https://github.com/Sable/soot/blob/develop/src/main/java/soot/PackManager.java</a><div class="ydp1176852byqt1658866028" id="ydp1176852byqtfd87071"><br clear="none"></div></div></div>
</div>
</div></div></body></html>