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

[Hamid 2C]

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