Regarding SPARK's Pointer Analysis

[bharti-chi]

We are exploring SPARK’s pointer analysis implemented in Soot.
We have following few queries and your inputs in resolving these would be of great help -

1. Can we update pointer assignment graph (PAG) created by SPARK? If yes, please guide how to go about it. (Any material/documentation will be helpful.)
2. What are the steps need to be performed to propagate points-to information after changing the PAG.

We understand that this will require changes to Spark’s internal, hence expecting your inputs so that we can move in correct direction.

Thanks in advance!
Regards,
Bharti Chimdyalwar
TCS Research
India