[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Soot 2.1.0 released



'Ondrej Lhotak' wrote:
On Thu, Dec 18, 2003 at 05:00:05PM +0100, Eric Bodden wrote:

Nice!


5. initial support for context-sensitive call graph and points-to analysis

In what sense is it context sensitive? Where can I find further information?


The Edge class that is inserted into the CallGraph now contains a
MethodOrMethodContext rather than just SootMethod as source and target.
A MethodOrMethodContext can either be just a SootMethod, or it can
be a MethodContext, which is a pair of a SootMethod and an arbitrary
Object as context (though in future versions, it will need to implement
an empty Context interface, just to keep track of things which can
be contexts). Currently, the call graph builder supports building a
context-insensitive call graph, a call graph with the call site as
context, and (in combination with Spark) a call graph with the receiver
as context. For more information, see:

Out of curiousity, do you have an empirical data to compare running time/memory and precision of receiver-insensitive call-graph v/s receiver-sensitive call-graph? (The time and memory are inclusive of all the analyses that lead to or are required for call-graph construction.)


Also, by context, do you mean call-string/call-stack? If so, do you do some sort of limiting on the length/size of the context? Do you have any empirical data about cost and precision?

waiting for reply,

--

Venkatesh Prasad Ranganath,
Dept. Computing and Information Science,
Kansas State University, US.
web: http://www.cis.ksu.edu/~rvprasad