[Soot-list] Heros error while running jCute

[Dhriti Khanna]

*Dear all,*

*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: *

*[Thread-5] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread
execution failed: @this-assignment statement should precede all other
statements*
* method: <tests.Struct: void <init>()>*
*@this-assignment statement should precede all other statements*
* method: <tests.Struct: void <init>()>*

*I am not sure whether jCute requires heros framework, but still this
error. I want to know when does someone bump into this error?*

*This is the stack trace:*

 method: <tests.Struct: void <init>()>
at
soot.jimple.validation.IdentityStatementsValidator.validate(IdentityStatementsValidator.java:51)
at soot.jimple.JimpleBody.validate(JimpleBody.java:114)
at soot.jimple.JimpleBody.validate(JimpleBody.java:97)
at
cute.instrument.CuteInstrumenter.internalTransform(CuteInstrumenter.java:162)
at soot.BodyTransformer.transform(BodyTransformer.java:54)
at soot.Transform.apply(Transform.java:105)
at soot.BodyPack.internalApply(BodyPack.java:49)
at soot.Pack.apply(Pack.java:125)
at soot.PackManager.runBodyPacks(PackManager.java:973)
at soot.PackManager.access$000(PackManager.java:112)
at soot.PackManager$1.run(PackManager.java:620)
at
java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
at
java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
at java.lang.Thread.run(Thread.java:748)

I have attached the simple program on which I test jCute. Looking out for
some clues for this.

-- 
Regards
Dhriti Khanna
PhD Scholar
IIIT Delhi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20190110/e014e46b/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Demo.java
Type: text/x-java
Size: 1246 bytes
Desc: not available
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20190110/e014e46b/attachment.bin>