Package soot.jimple.spark.ondemand

Class DotPointerGraph

java.lang.Object

soot.jimple.spark.ondemand.DotPointerGraph

public class DotPointerGraph
extends Object

you can just add edges and then dump them as a dot graph

Author:

Manu Sridharan

Constructor Summary

Constructors

Constructor	Description
DotPointerGraph()

Method Summary

Modifier and Type	Method	Description
void	addAssign(VarNode from, VarNode to)
void	addCall(VarNode from, VarNode to, Integer callSite)
void	addLoad(FieldRefNode from, VarNode to)
void	addMatch(VarNode from, VarNode to)
void	addNew(AllocNode from, VarNode to)
void	addStore(VarNode from, FieldRefNode to)
void	dump(String filename)
int	numEdges()

Methods inherited from class java.lang.Object

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

Constructor Detail

DotPointerGraph

public DotPointerGraph()

Method Detail

addAssign

public void addAssign(VarNode from,
                      VarNode to)

addNew

public void addNew(AllocNode from,
                   VarNode to)

addCall

public void addCall(VarNode from,
                    VarNode to,
                    Integer callSite)

addMatch

public void addMatch(VarNode from,
                     VarNode to)

addLoad

public void addLoad(FieldRefNode from,
                    VarNode to)

addStore

public void addStore(VarNode from,
                     FieldRefNode to)

numEdges

public int numEdges()

dump

public void dump(String filename)