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

DotPointerGraph()

Method Summary

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)