[Soot-list] ordering of visiting succs

[Eric Bodden]

Hi Khilan.

Yes, the default orderer in Soot is deterministic. So if your CFGs
don't change accross multiple runs then neither will the order in
which the CFGs' nodes are visited.

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 23 March 2010 13:52, Khilan Gudka <khilan at doc.ic.ac.uk> wrote:
> Hi,
> Is it safe to assume that the ordering of successor nodes is the same across
> multiple runs of soot? I saw in ExceptionalUnitGraph that Lists are used but
> please could somebody confirm.
> Thanks,
> Khilan
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>