com.ibm.wala.examples.drivers

Class PDFControlDependenceGraph

java.lang.Object

com.ibm.wala.examples.drivers.PDFControlDependenceGraph

public class PDFControlDependenceGraph
extends java.lang.Object

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

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	PDF_FILE
static boolean	SANITIZE_CFG

Constructor Summary

Constructors

Constructor and Description
PDFControlDependenceGraph()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.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 java.lang.Process	run(java.lang.String[] args)
static java.lang.Process	run(java.lang.String appJar, java.lang.String methodSig)

Methods inherited from class java.lang.Object

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

Field Detail

SANITIZE_CFG

public static final boolean SANITIZE_CFG

See Also:

Constant Field Values

PDF_FILE

public static final java.lang.String PDF_FILE

See Also:

Constant Field Values

Constructor Detail

PDFControlDependenceGraph

public PDFControlDependenceGraph()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.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:

java.io.IOException

run

public static java.lang.Process run(java.lang.String[] args)
                             throws java.io.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:

java.io.IOException

run

public static java.lang.Process run(java.lang.String appJar,
                                    java.lang.String methodSig)
                             throws java.io.IOException

Parameters:

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

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

Throws:

java.io.IOException