[Soot-list] simple context-sensitive call graph

[Khilan Gudka]

Hi,

How hard would it be to create a context-sensitive call graph, which  
had only two contexts A and B. The contexts refer to whether the edges  
are due to objects allocated outside a synchronized block and edges  
which are due to objects allocated inside a synchronized block. I do  
not wish to use Paddle because it uses callstrings. I don't need  
callstrings, just two contexts.

--
Khilan Gudka
PhD Student
Department of Computing
Imperial College London
http://www.doc.ic.ac.uk/~khilan/