Re: Reaching Definitions Analysis

[Navindra Umanee <navindra@cs.mcgill.ca>]

Hi Leon,

Leon Krupkin <leo.krupkin@verizon.net> wrote:
> Can anyone give me some pointers on performing reaching definitions
> analysis using soot? I've looked at the tutorials and the classes in
> soot.toolkits.scalar, but I'm still unclear. Is there a way to do the
> analysis using the existing soot classes, or do the necessary classes
> need to be written from scratch (excluding classes like FlowSet, etc
> ofcourse)?

You might want to take a look at the source code for:

soot.jimple.toolkits.annotation.defs.ReachingDefsTagger

and:

soot.toolkits.scalar.SimpleLocalDefs

Cheers,
Navin.