[Soot-list] Question about StronglyConnectedComponentsFast behaviour

Patrick Lam plam at cs.mcgill.ca
Thu Sep 8 12:57:07 EDT 2011


[This is really a question to Eric, who wrote the code; but I thought 
I'd send to the list so that the answer is archived.]

I'm writing code to determine whether a method contains any loops or 
not. Is it true that if I create a StronglyConnectedComponentsFast and 
call getComponents(), then the method is loop-free iff all of the Lists 
in getComponents() have length 1?

pat


More information about the Soot-list mailing list