[Soot-list] reaching definition implementation

[Marc-André Laverdière]

Namaste Bharat,

Use IFDSSolver.ifdsResultsAt to know which facts are valid at a given
program point.

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

On 03/17/2014 03:04 PM, bharat jangir wrote:
> i am working on the reaching definition example provided in
> src/soot/toolkits/ide/ .for that i want to implement reaching definition
> in such a manner that the code will tell us like...this definition is
> reaching at this program point ....can someone have any idea about how
> to implement reaching definition in this manner.
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>