./jayhorn -j tmp


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


[root] - 		 ---   JAYHORN : Static Analayzer for Java Programs ---- 
[root] - 	 Verification : safety
[root] - 	 Solver : eldarica
[root] - Building CFG  ... 
TODO: 1 traps could not be removed for <Main: void main(java.lang.String[])>
2018-07-29 03:01:29,923 ERROR (main) [root] - java.lang.NullPointerException
Exception in thread "main" java.lang.NullPointerException
	at soottocfg.soot.SootToCfg.run(SootToCfg.java:126)
	at jayhorn.Main.safetyAnalysis(Main.java:52)
	at jayhorn.Main.main(Main.java:100)