[Soot-list] Sign analysis in SOOT

Eric Bodden eric.bodden at ec-spride.de
Tue Mar 13 08:48:50 EDT 2012


> However, it is confusing to me to understand the role of following "copy"
> method in the ParityAnalysis.java . Nothing seems to be copied by this
> procedure. Could you explain shortly? Thanks.

Well, this is pretty bad code but it will copy everything from source
to dest. There's still a bug, though, because "dest" is not cleared
before putAll is invoked. I will clean this up a bit...

Eric


More information about the Soot-list mailing list