[Soot-list] Heros and Exclusions

[Eric Bodden]

Hello.

I have seen this before but I thought this was fixed. Are you using
the "develop" branch of heros?

We are definitely using it with exclusions...

Eric

On 15 January 2013 23:18, Marc-Andre Laverdiere-Papineau
<marc-andre.laverdiere-papineau at polymtl.ca> wrote:
> 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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt