[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