[Soot-list] Heros and Exclusions

[Marc-Andre Laverdiere-Papineau]

Hello everybody,

Today, I was trying to use an IFDS analysis with exceptions turned on 
and I have been getting this error:

java.lang.NullPointerException
	at 
com.google.common.base.Preconditions.checkNotNull(Preconditions.java:191)
	at com.google.common.cache.LocalCache.get(LocalCache.java:3989)
	at com.google.common.cache.LocalCache.getOrLoad(LocalCache.java:3994)
	at 
com.google.common.cache.LocalCache$LocalLoadingCache.get(LocalCache.java:4878)
	at 
com.google.common.cache.LocalCache$LocalLoadingCache.getUnchecked(LocalCache.java:4884)
	at 
soot.jimple.toolkits.ide.icfg.JimpleBasedInterproceduralCFG.getOrCreateUnitGraph(JimpleBasedInterproceduralCFG.java:155)
	at 
soot.jimple.toolkits.ide.icfg.JimpleBasedInterproceduralCFG.getSuccsOf(JimpleBasedInterproceduralCFG.java:150)
	at 
soot.jimple.toolkits.ide.icfg.JimpleBasedInterproceduralCFG.getReturnSitesOfCallAt(JimpleBasedInterproceduralCFG.java:169)
	at 
soot.jimple.toolkits.ide.icfg.JimpleBasedInterproceduralCFG.getReturnSitesOfCallAt(JimpleBasedInterproceduralCFG.java:46)
	at heros.solver.IDESolver.processCall(IDESolver.java:352)
	at heros.solver.IDESolver.access$000(IDESolver.java:68)
	at heros.solver.IDESolver$PathEdgeProcessingTask.run(IDESolver.java:695)
	at 
java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1110)
	at 
java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:603)
	at java.lang.Thread.run(Thread.java:722)

I didn't see this error when running without the exclusions - so I am 
guessing that maybe Heros isn't supporting that Soot feature.

Can anyone confirm if that is the case?

Regards,

-- 
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate