[Soot-list] Sign analysis in SOOT

[Z]

Hello,

Thank you. This helps a lot. I will slightly modify it to make it a "rule
of sign analysis".

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.

Zell

--------------------------------------------------------------------
 protected void copy(Object source, Object dest) {

        //System.out.println("copy");
        HashMap sourceIn = (HashMap)source;
        HashMap destOut = (HashMap)dest;
        //dest = new HashMap();
        //HashMap destOut = new HashMap();
        destOut.putAll(sourceIn);
        dest = destOut;

    }


On Mon, Mar 12, 2012 at 11:02 AM, Eric Bodden <eric.bodden at ec-spride.de>wrote:

> Hi Zell.
>
> I think this is frequently called Parity Analysis and there is one in Soot:
>
> http://www.sable.mcgill.ca/soot/doc/soot/jimple/toolkits/annotation/parity/ParityAnalysis.html
>
> Cheers,
> Eric
>
> On 12 March 2012 09:43, Z <zell08v at orange.fr> wrote:
> > Dear all,
> >
> > Do  you happen to have the sign analysis implementation in SOOT for a
> total
> > beginner of SOOT?  Where should I start to implement an such analysis?
> >
> > Thanks.
> > Zell
> >
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >
>
>
>
> --
> Eric Bodden, Ph.D., http://bodden.de/
> Head of Secure Software Engineering Group at EC SPRIDE
> Principal Investigator in Secure Services at CASED
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120313/e9060370/attachment.html