[Soot-list] Numbers which are assigned to VarNodes differs from run to run

[Eric Bodden]

Hello Hamid.

I am a bit confused. How can you have access to the same VarNode
instance anyway in different runs of Spark?

Eric

On 30 June 2011 09:40, Hamid 2C <hamid2c at gmail.com> wrote:
> Hi all,
>
> I have noticed that  different numbers (VarNode.getNumber()) can be
> assigned to the same VarNode (Variable Node in Spark's PAG) in
> different runs of Spark. I would be thankful if you can tell me the
> reason behind this. However, this does not happen for every VarNode
> but for a few.
>
> Thanks,
> Hamid
> _______________________________________________
> 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