com.ibm.wala.examples.drivers
Class GVControlDependenceGraph

java.lang.Object
  com.ibm.wala.examples.drivers.GVControlDependenceGraph

public class GVControlDependenceGraph
extends java.lang.Object

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

Field Summary

static java.lang.String	PS_FILE
static boolean	SANITIZE_CFG

Constructor Summary

GVControlDependenceGraph()

Method Summary

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

PS_FILE

public static final java.lang.String PS_FILE

See Also:

Constant Field Values

Constructor Detail

GVControlDependenceGraph

public GVControlDependenceGraph()

Method Detail

main

public 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"

Parameters:

args -

run

public static java.lang.Process run(java.lang.String[] args)

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"

run

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

Parameters:

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

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