[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
SPARK: Coloured nodes
Hello,
I might have a stupid question yet I am new to the points-to analysis topic:
Could you, please, summarise the issues of colouring the nodes, its
meaning or, most preferably, point me to some good introductory material(s).
Thanks a lot.
Best regards,
Richard