Class PDFControlDependenceGraph

java.lang.Object

com.ibm.wala.examples.drivers.PDFControlDependenceGraph

public class PDFControlDependenceGraph
extends Object

This simple example application builds a WALA CDG and fires off ghostview to viz a DOT representation.

Author:

sfink

Field Summary

Fields

Modifier and Type	Field	Description
static final String	PDF_FILE
static final boolean	SANITIZE_CFG

Constructor Summary

Constructors

Constructor	Description
PDFControlDependenceGraph()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Usage: GVControlDependenceGraph -appJar [jar file name] -sig [method signature] The "jar file name" should be something like "c:/temp/testdata/java_cup.jar" The signature should be something like "java_cup.lexer.advance()V"
static Process	run(String[] args)
static Process	run(String appJar, String methodSig)

Methods inherited from class java.lang.Object

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

Field Details

SANITIZE_CFG

public static final boolean SANITIZE_CFG

See Also:

• Constant Field Values

PDF_FILE

public static final String PDF_FILE

See Also:

• Constant Field Values

Constructor Details

PDFControlDependenceGraph

public PDFControlDependenceGraph()

Method Details

main

public static void main(String[] args)
                 throws IOException

Usage: GVControlDependenceGraph -appJar [jar file name] -sig [method signature] The "jar file name" should be something like "c:/temp/testdata/java_cup.jar" The signature should be something like "java_cup.lexer.advance()V"

Throws:

IOException

run

public static Process run(String[] args)
                   throws IOException

Parameters:

args - -appJar [jar file name] -sig [method signature] The "jar file name" should be something like "c:/temp/testdata/java_cup.jar" The signature should be something like "java_cup.lexer.advance()V"

Throws:

IOException

run

public static Process run(String appJar,
 String methodSig)
                   throws IOException

Parameters:

appJar - should be something like "c:/temp/testdata/java_cup.jar"

methodSig - should be something like "java_cup.lexer.advance()V"

Throws:

IOException