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

[Hamid 2C]

Hi Eric,

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

Sorry, my mistake. I consider those different instances, same VarNode
because they have the same points-to set.

Considering the way PAG is built by traversing Jimple, I couldn't
think of something that causes this nondeterminism in numbering.

Hamid
(Sorry, forgot to cc the mailing list)