./jayhorn -j tmp


--------------------------------------------------------------------------------


[root] - 		 ---   JAYHORN : Static Analayzer for Java Programs ---- 
[root] - 	 Verification : safety
[root] - 	 Solver : eldarica
[root] - Building CFG  ... 
Soot failed to parse <Main: void main(JayArray_java_lang_String)>
java.lang.RuntimeException: couldn't find identityref! in <Main: void main(JayArray_java_lang_String)>
	at soot.Body.getThisLocal(Body.java:307)
	at soottocfg.soot.memory_model.NewMemoryModel.mkConstructorCall(NewMemoryModel.java:526)
	at soottocfg.soot.visitors.SootStmtSwitch.translateMethodInvokation(SootStmtSwitch.java:449)
	at soottocfg.soot.visitors.SootStmtSwitch.caseInvokeStmt(SootStmtSwitch.java:322)
	at soot.jimple.internal.JInvokeStmt.apply(JInvokeStmt.java:100)
	at soottocfg.soot.visitors.SootStmtSwitch.<init>(SootStmtSwitch.java:124)
	at soottocfg.soot.SootToCfg.constructCfg(SootToCfg.java:272)
	at soottocfg.soot.SootToCfg.constructCfg(SootToCfg.java:242)
	at soottocfg.soot.SootToCfg.constructCfg(SootToCfg.java:296)
	at soottocfg.soot.SootToCfg.run(SootToCfg.java:121)
	at jayhorn.Main.safetyAnalysis(Main.java:52)
	at jayhorn.Main.main(Main.java:100)
2018-07-29 03:02:02,535 ERROR (main) [root] - java.lang.RuntimeException: couldn't find identityref! in <Main: void main(JayArray_java_lang_String)>
Exception in thread "main" java.lang.RuntimeException: couldn't find identityref! in <Main: void main(JayArray_java_lang_String)>
	at soot.Body.getThisLocal(Body.java:307)
	at soottocfg.soot.memory_model.NewMemoryModel.mkConstructorCall(NewMemoryModel.java:526)
	at soottocfg.soot.visitors.SootStmtSwitch.translateMethodInvokation(SootStmtSwitch.java:449)
	at soottocfg.soot.visitors.SootStmtSwitch.caseInvokeStmt(SootStmtSwitch.java:322)
	at soot.jimple.internal.JInvokeStmt.apply(JInvokeStmt.java:100)
	at soottocfg.soot.visitors.SootStmtSwitch.<init>(SootStmtSwitch.java:124)
	at soottocfg.soot.SootToCfg.constructCfg(SootToCfg.java:272)
	at soottocfg.soot.SootToCfg.constructCfg(SootToCfg.java:242)
	at soottocfg.soot.SootToCfg.constructCfg(SootToCfg.java:296)
	at soottocfg.soot.SootToCfg.run(SootToCfg.java:121)
	at jayhorn.Main.safetyAnalysis(Main.java:52)
	at jayhorn.Main.main(Main.java:100)