[Soot-list] condition information on unitGraph.getSuccsOf(Object)

[Chris Pickett]

Navindra Umanee wrote:
> Jung-joon Kim <jungjoon at gmail.com> wrote:
> 
>>About some If-conditional branch Stmt s, Invoke on
>>unitGraph.getSuccsOf(s) will return List<Stmt> whose length is 2.
>>(without considering about exception flows) . I want to know whether
>>getSuccsOf guarantees that first Stmt in returned List is true branch.
> 
> 
> As far as I know there is no such guarantee.  Why should there be?

Maybe you can compute the information you need using fallsThrough(), 
getTarget(), and branches().

Chris