public class PDFSDG
extends java.lang.Object
| Constructor and Description |
|---|
PDFSDG() |
| Modifier and Type | Method and Description |
|---|---|
static Slicer.ControlDependenceOptions |
getControlDependenceOptions(java.util.Properties p) |
static Slicer.DataDependenceOptions |
getDataDependenceOptions(java.util.Properties p) |
static void |
main(java.lang.String[] args)
Usage: GVSDG -appJar [jar file name] -mainclass [main class]
|
static java.lang.Process |
run(java.lang.String[] args) |
static java.lang.Process |
run(java.lang.String appJar,
java.lang.String mainClass,
Slicer.DataDependenceOptions dOptions,
Slicer.ControlDependenceOptions cOptions) |
public static void main(java.lang.String[] args)
throws java.lang.IllegalArgumentException,
com.ibm.wala.util.CancelException,
java.io.IOException
The "jar file name" should be something like "c:/temp/testdata/java_cup.jar"
java.lang.IllegalArgumentExceptioncom.ibm.wala.util.CancelExceptionjava.io.IOExceptionpublic static java.lang.Process run(java.lang.String[] args)
throws java.lang.IllegalArgumentException,
com.ibm.wala.util.CancelException,
java.io.IOException
java.lang.IllegalArgumentExceptioncom.ibm.wala.util.CancelExceptionjava.io.IOExceptionpublic static Slicer.DataDependenceOptions getDataDependenceOptions(java.util.Properties p)
public static Slicer.ControlDependenceOptions getControlDependenceOptions(java.util.Properties p)
public static java.lang.Process run(java.lang.String appJar,
java.lang.String mainClass,
Slicer.DataDependenceOptions dOptions,
Slicer.ControlDependenceOptions cOptions)
throws java.lang.IllegalArgumentException,
com.ibm.wala.util.CancelException,
java.io.IOException
appJar - something like "c:/temp/testdata/java_cup.jar"java.lang.IllegalArgumentExceptioncom.ibm.wala.util.CancelExceptionjava.io.IOException