[Soot-list] Question about StronglyConnectedComponentsFast behaviour

[Eric Bodden]

Hi Patrick.

I think this should be true unless you have a single-statement SCC,
i.e., a statement jumping to itself, which would be very odd. (and
would not terminate when executed)

Eric

On 8 September 2011 18:57, Patrick Lam <plam at cs.mcgill.ca> wrote:
> [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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt