[Soot-list] Problem with loops in ForwardBranchedFlowAnalysis

[Manas Thakur]

Hi,

My program (which implements ForwardBranchedFlowAnalysis) is always
analyzing the contents of a loop at the end, even after processing the
return statement. Due to this, I am not able to get the results at the end
of a method correctly.

It just follows the targets of goto's, and jumps to the statement following
the loop; after reaching the end of a method, it returns back to analyze
the loop.

What should I do?

Regards,
Manas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140912/8586029f/attachment.html