public class PDFControlDependenceGraph
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
PDF_FILE |
static boolean |
SANITIZE_CFG |
| Constructor and Description |
|---|
PDFControlDependenceGraph() |
| 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) |
public static final boolean SANITIZE_CFG
public static final java.lang.String PDF_FILE
public static void main(java.lang.String[] args)
throws java.io.IOException
java.io.IOExceptionpublic static java.lang.Process run(java.lang.String[] args)
throws java.io.IOException
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"java.io.IOExceptionpublic static java.lang.Process run(java.lang.String appJar,
java.lang.String methodSig)
throws java.io.IOException
appJar - should be something like "c:/temp/testdata/java_cup.jar"methodSig - should be something like "java_cup.lexer.advance()V"java.io.IOException