<div dir="ltr"><div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><b>Dear all,</b></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><b><br></b></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><b>I am coming across an error while running the jCute test cases. jCute is a concolic execution engine which instruments the programs using soot. The error is as follows: </b></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><div class="gmail_default"><i>[Thread-5] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: @this-assignment statement should precede all other statements</i></div><div class="gmail_default"><i> method: <tests.Struct: void <init>()></i></div><div class="gmail_default"><i>@this-assignment statement should precede all other statements</i></div><div class="gmail_default"><i> method: <tests.Struct: void <init>()></i></div><div class="gmail_default"><br></div><div class="gmail_default"><b>I am not sure whether jCute requires heros framework, but still this error. I want to know when does someone bump into this error?</b></div><div class="gmail_default"><br></div><div class="gmail_default"><b>This is the stack trace:</b></div><div class="gmail_default"><b><br></b></div><div class="gmail_default"> method: <tests.Struct: void <init>()></div><div class="gmail_default"><span style="white-space:pre">       </span>at soot.jimple.validation.IdentityStatementsValidator.validate(IdentityStatementsValidator.java:51)</div><div class="gmail_default"><span style="white-space:pre">   </span>at soot.jimple.JimpleBody.validate(JimpleBody.java:114)</div><div class="gmail_default"><span style="white-space:pre">       </span>at soot.jimple.JimpleBody.validate(JimpleBody.java:97)</div><div class="gmail_default"><span style="white-space:pre">        </span>at cute.instrument.CuteInstrumenter.internalTransform(CuteInstrumenter.java:162)</div><div class="gmail_default"><span style="white-space:pre">      </span>at soot.BodyTransformer.transform(BodyTransformer.java:54)</div><div class="gmail_default"><span style="white-space:pre">    </span>at soot.Transform.apply(Transform.java:105)</div><div class="gmail_default"><span style="white-space:pre">   </span>at soot.BodyPack.internalApply(BodyPack.java:49)</div><div class="gmail_default"><span style="white-space:pre">      </span>at soot.Pack.apply(Pack.java:125)</div><div class="gmail_default"><span style="white-space:pre">     </span>at soot.PackManager.runBodyPacks(PackManager.java:973)</div><div class="gmail_default"><span style="white-space:pre">        </span>at soot.PackManager.access$000(PackManager.java:112)</div><div class="gmail_default"><span style="white-space:pre">  </span>at soot.PackManager$1.run(PackManager.java:620)</div><div class="gmail_default"><span style="white-space:pre">       </span>at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)</div><div class="gmail_default"><span style="white-space:pre">    </span>at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)</div><div class="gmail_default"><span style="white-space:pre">    </span>at java.lang.Thread.run(Thread.java:748)</div><div class="gmail_default"> </div><div class="gmail_default">I have attached the simple program on which I test jCute. Looking out for some clues for this.</div></div><div><br></div>-- <br><div dir="ltr" class="gmail-m_9023201410467129552gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><font size="1" color="#9900ff" face="arial, helvetica, sans-serif">Regards</font><div><font size="1" color="#9900ff" face="arial, helvetica, sans-serif">Dhriti Khanna</font></div><div><font size="1" color="#9900ff" face="arial, helvetica, sans-serif">PhD Scholar</font></div><div><font size="1" color="#9900ff" face="arial, helvetica, sans-serif">IIIT Delhi</font></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>