Package com.ibm.wala.examples.drivers

Class PDFSDG

java.lang.Object

com.ibm.wala.examples.drivers.PDFSDG

public class PDFSDG
extends Object

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

Author:

sfink

Constructor Summary

Constructors

Constructor	Description
PDFSDG()

Method Summary

Modifier and Type	Method	Description
static Slicer.ControlDependenceOptions	getControlDependenceOptions(Properties p)
static Slicer.DataDependenceOptions	getDataDependenceOptions(Properties p)
static void	main(String[] args)	Usage: GVSDG -appJar [jar file name] -mainclass [main class]
static Process	run(String[] args)
static Process	run(String appJar, String mainClass, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)

Methods inherited from class java.lang.Object

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

Constructor Details

PDFSDG

public PDFSDG()

Method Details

main

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

Usage: GVSDG -appJar [jar file name] -mainclass [main class]

The "jar file name" should be something like "c:/temp/testdata/java_cup.jar"

Throws:

IllegalArgumentException

CancelException

IOException

run

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

Throws:

IllegalArgumentException

CancelException

IOException

getDataDependenceOptions

public static Slicer.DataDependenceOptions getDataDependenceOptions(Properties p)

getControlDependenceOptions

public static Slicer.ControlDependenceOptions getControlDependenceOptions(Properties p)

run

public static Process run(String appJar,
 String mainClass,
 Slicer.DataDependenceOptions dOptions,
 Slicer.ControlDependenceOptions cOptions)
                   throws IllegalArgumentException,
CancelException,
IOException

Parameters:

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

Throws:

IllegalArgumentException

CancelException

IOException