[Soot-list] dataflow analysis for programs with loops

[Marc-André Laverdière]

Hi Rashmi,

Also, make sure that your flow functions are monotonic. They should
converge pretty fast normally.

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

On 09/20/2014 11:40 AM, Rashmi Mudduluru wrote:
> Hi,
> 
> I am using soot to perform reaching definitions analysis.
> The class extends ForwardFlowAnalysis and I have implemented all the
> methods in the FlowSet interface.
> The analysis works for straight line programs but goes into an infinite
> loop for programs with loops.
> Has anyone face this issue?
> Is there something that I am missing here?
> 
> Thanks,
> Rashmi.
> 
> 
>