[Soot-list] pseudo-topological order used in Soot's ForwardBranchedFlowAnalysis class?

[Patrick Lam]

On 09/02/2012 07:29 AM, Zhoulai wrote:
> Hello,
>
> I have a basic question about the pseudo-topological order used in
> Soot's ForwardBranchedFlowAnalysis class.
> I can not find a published document on this ordering.
>
>   Can anyone confirm me whether it is exactly the same as the " weak
> topological order " described in  F. Bourdoncle's 1993 paper: Efficient
> Chaotic Iteration Strategies With Widening (For those who are unfamiliar
> with this subject, weak topological ordering is a mechanism used in
> abstract interpretation to find CFG vertices suitable for widening, and
> to direct iteration strategies) .

Read the source code.

pat