Package soot.jimple.toolkits.callgraph

Class ObjSensContextManager

java.lang.Object

soot.jimple.toolkits.callgraph.ObjSensContextManager

All Implemented Interfaces:

ContextManager

public class ObjSensContextManager
extends Object
implements ContextManager

A context manager which creates an object-sensitive call graph.

Author:

Ondrej Lhotak

Constructor Summary

Constructors

Constructor	Description
ObjSensContextManager(CallGraph cg)

Method Summary

Modifier and Type	Method	Description
void	addStaticEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind)
void	addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
CallGraph	callGraph()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObjSensContextManager

public ObjSensContextManager(CallGraph cg)

Method Detail

addStaticEdge

public void addStaticEdge(MethodOrMethodContext src,
                          Unit srcUnit,
                          SootMethod target,
                          Kind kind)

Specified by:

addStaticEdge in interface ContextManager

addVirtualEdge

public void addVirtualEdge(MethodOrMethodContext src,
                           Unit srcUnit,
                           SootMethod target,
                           Kind kind,
                           Context typeContext)

Specified by:

addVirtualEdge in interface ContextManager

callGraph

public CallGraph callGraph()

Specified by:

callGraph in interface ContextManager