./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: Type mismatch:
$ex_ := call <Main: void g(java.lang.Object)>()
At position 0:
Arg Main of type TYPE cannot be assigned to type java.lang.Object
	at soottocfg.cfg.statement.CallStatement.<init>(CallStatement.java:65)
	at soottocfg.soot.visitors.SootStmtSwitch.translateMethodInvokation(SootStmtSwitch.java:460)
	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:00:45,207 ERROR (main) [root] - java.lang.RuntimeException: Type mismatch:
$ex_ := call <Main: void g(java.lang.Object)>()
At position 0:
Arg Main of type TYPE cannot be assigned to type java.lang.Object
Exception in thread "main" java.lang.RuntimeException: Type mismatch:
$ex_ := call <Main: void g(java.lang.Object)>()
At position 0:
Arg Main of type TYPE cannot be assigned to type java.lang.Object
	at soottocfg.cfg.statement.CallStatement.<init>(CallStatement.java:65)
	at soottocfg.soot.visitors.SootStmtSwitch.translateMethodInvokation(SootStmtSwitch.java:460)
	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)