[Soot-list] Breaking change in Heros

Marc-André Laverdière-Papineau marc-andre.laverdiere-papineau at polymtl.ca
Fri Jul 5 14:11:04 EDT 2013


Hi,

Sadly, soot-infoflow is broken. In AbstractInfoFlowProblem, we still
return set.

I can make a patch, but I don't claim understanding the semantics of the
change ;)

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

On 05/07/13 12:16 PM, Bodden, Eric wrote:
> Hi all.
> 
> Unfortunately I had to implement a change in Heros which will break existing client code. It should be easy to adapt to the new API, though, see here:
> https://github.com/Sable/heros/commit/275f57839b2238791d76ac90f9fa93c67b633abe
> 
> I have already upgraded our internal projects accordingly. Please let me know if there are any problems.
> 
> Cheers,
> Eric
> --
> Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> Head of Secure Software Engineering  at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 


More information about the Soot-list mailing list