[Soot-list] pointsTo analysis - spark

[Cristina Basescu]

Hello!

I'm trying to implement an alias analysis using the Spark framework. My
question is, is there possible to get the set of objects pointed to by a
SootField that is not static? For example, given the code:

class One {
    static Container x;
    Container y;

    Container f(Container con) {
        x = con;
        y = con;
        return x;
    }
}

is it possible to detect that y aliases x?

Thanks!

Best regards,
Cristina
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090623/2e314afb/attachment.html