[Soot-list] Heros and Exclusions

[Marc-Andre Laverdiere-Papineau]

Hi Eric,

I just pulled the latest changes to heros and used that, but I have the 
same result :(

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

On 13-01-16 03:24 AM, Eric Bodden wrote:
> 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
>
>
>