soot.jimple.spark.pag

Class PagToDotDumper

java.lang.Object

soot.jimple.spark.pag.PagToDotDumper

public class PagToDotDumper
extends java.lang.Object

Utilities for dumping dot representations of parts of a PAG.

Field Summary

Fields

Modifier and Type	Field and Description
static int	TRACE_MAX_LVL

Constructor Summary

Constructors

Constructor and Description
PagToDotDumper(PAG pag)

Method Summary

Modifier and Type	Method and Description
void	dumpP2SetsForLocals(java.lang.String fName, java.lang.String mName) dumps the points-to sets for all locals in a method in a dot representation.
void	dumpPAGForMethod(java.lang.String fName, java.lang.String cName, java.lang.String mName) Dump the PAG for some method in the program in dot format
static java.lang.String	makeDotNodeLabel(Node n, Predicate<Node> p) Generate a node declaration for a dot file.
static java.lang.String	makeLabel(AllocNode n)
static java.lang.String	makeLabel(FieldRefNode node)
static java.lang.String	makeLabel(LocalVarNode n)
static java.lang.String	makeLabel(VarNode base)
static java.lang.String	makeNodeName(Node n)
void	traceLocalVarNode(java.lang.String fName, java.lang.String cName, java.lang.String mName, java.lang.String varName)
void	traceNode(int id)
void	traceNode(java.lang.String cName, java.lang.String mName, java.lang.String varName)

Methods inherited from class java.lang.Object

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

Field Detail

TRACE_MAX_LVL

public static final int TRACE_MAX_LVL

See Also:

Constant Field Values

Constructor Detail

PagToDotDumper

public PagToDotDumper(PAG pag)

Method Detail

makeDotNodeLabel

public static java.lang.String makeDotNodeLabel(Node n,
                                                Predicate<Node> p)

Generate a node declaration for a dot file.

Parameters:

node - the node

p - a predicate over nodes, which, if true, will cause the node to appear red

Returns:

the appropriate String for the dot file

dumpP2SetsForLocals

public void dumpP2SetsForLocals(java.lang.String fName,
                                java.lang.String mName)
                         throws java.io.FileNotFoundException

dumps the points-to sets for all locals in a method in a dot representation. The graph has edges from each local to all AllocNodes in its points-to set

Parameters:

fName - a name for the output file

mName - the name of the method whose locals should be dumped

Throws:

java.io.FileNotFoundException - if unable to output to specified file

dumpPAGForMethod

public void dumpPAGForMethod(java.lang.String fName,
                             java.lang.String cName,
                             java.lang.String mName)
                      throws java.io.FileNotFoundException

Dump the PAG for some method in the program in dot format

Parameters:

fName - The filename for the output

cName - The name of the declaring class for the method

mName - The name of the method

Throws:

java.io.FileNotFoundException - if output file cannot be written

traceNode

public void traceNode(int id)

traceNode

public void traceNode(java.lang.String cName,
                      java.lang.String mName,
                      java.lang.String varName)

traceLocalVarNode

public void traceLocalVarNode(java.lang.String fName,
                              java.lang.String cName,
                              java.lang.String mName,
                              java.lang.String varName)

makeNodeName

public static java.lang.String makeNodeName(Node n)

makeLabel

public static java.lang.String makeLabel(AllocNode n)

makeLabel

public static java.lang.String makeLabel(LocalVarNode n)

makeLabel

public static java.lang.String makeLabel(FieldRefNode node)

Parameters:

node -

Returns:

makeLabel

public static java.lang.String makeLabel(VarNode base)

Parameters:

base -

Returns: