com.ibm.wala.examples.drivers

Class PDFSlice

java.lang.Object

com.ibm.wala.examples.drivers.PDFSlice

public class PDFSlice
extends java.lang.Object

This simple example WALA application computes a slice (see Slicer) and fires off the PDF viewer to view a dot-ted representation of the slice.

This is an example program on how to use the slicer.

See the 'PDFSlice' launcher included in the 'launchers' directory.

See Also:

Slicer

Constructor Summary

Constructors

Constructor and Description
PDFSlice()

Method Summary

Modifier and Type	Method and Description
static Statement	getReturnStatementForCall(Statement s) If s is a call statement, return the statement representing the normal return from s
static void	main(java.lang.String[] args) Usage: PDFSlice -appJar [jar file name] -mainClass [main class] -srcCaller [method name] -srcCallee [method name] -dd [data dependence options] -cd [control dependence options] -dir [forward|backward] "jar file name" should be something like "c:/temp/testdata/java_cup.jar" "main class" should beshould be something like "c:/temp/testdata/java_cup.jar" "method name" should be the name of a method.
static com.ibm.wala.viz.NodeDecorator<Statement>	makeNodeDecorator()
static com.ibm.wala.util.graph.Graph<Statement>	pruneSDG(SDG<InstanceKey> sdg, java.util.Collection<Statement> slice) return a view of the sdg restricted to the statements in the slice
static java.lang.Process	run(java.lang.String[] args) see main(String[]) for command-line arguments
static java.lang.Process	run(java.lang.String appJar, java.lang.String mainClass, java.lang.String srcCaller, java.lang.String srcCallee, boolean goBackward, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions) Compute a slice from a call statements, dot it, and fire off the PDF viewer to visualize the result

Methods inherited from class java.lang.Object

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

Constructor Detail

PDFSlice

public PDFSlice()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.IllegalArgumentException,
                        com.ibm.wala.util.CancelException,
                        java.io.IOException

Usage: PDFSlice -appJar [jar file name] -mainClass [main class] -srcCaller [method name] -srcCallee [method name] -dd [data dependence options] -cd [control dependence options] -dir [forward|backward]

• "jar file name" should be something like "c:/temp/testdata/java_cup.jar"
• "main class" should beshould be something like "c:/temp/testdata/java_cup.jar"
• "method name" should be the name of a method. This takes a slice from the statement that calls "srcCallee" from "srcCaller"
• "data dependence options" can be one of "-full", "-no_base_ptrs", "-no_base_no_heap", "-no_heap", "-no_base_no_heap_no_cast", or "-none".
• "control dependence options" can be "-full" or "-none"
• the -dir argument tells whether to compute a forwards or backwards slice.

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

java.io.IOException

See Also:

Slicer.DataDependenceOptions

run

public static java.lang.Process run(java.lang.String[] args)
                             throws java.lang.IllegalArgumentException,
                                    com.ibm.wala.util.CancelException,
                                    java.io.IOException

see main(String[]) for command-line arguments

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

java.io.IOException

run

public static java.lang.Process run(java.lang.String appJar,
                                    java.lang.String mainClass,
                                    java.lang.String srcCaller,
                                    java.lang.String srcCallee,
                                    boolean goBackward,
                                    Slicer.DataDependenceOptions dOptions,
                                    Slicer.ControlDependenceOptions cOptions)
                             throws java.lang.IllegalArgumentException,
                                    com.ibm.wala.util.CancelException,
                                    java.io.IOException

Compute a slice from a call statements, dot it, and fire off the PDF viewer to visualize the result

Parameters:

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

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

srcCaller - name of the method containing the statement of interest

srcCallee - name of the method called by the statement of interest

goBackward - do a backward slice?

dOptions - options controlling data dependence

cOptions - options controlling control dependence

Returns:

a Process running the PDF viewer to visualize the dot'ted representation of the slice

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

java.io.IOException

getReturnStatementForCall

public static Statement getReturnStatementForCall(Statement s)

If s is a call statement, return the statement representing the normal return from s

pruneSDG

public static com.ibm.wala.util.graph.Graph<Statement> pruneSDG(SDG<InstanceKey> sdg,
                                                                java.util.Collection<Statement> slice)

return a view of the sdg restricted to the statements in the slice

makeNodeDecorator

public static com.ibm.wala.viz.NodeDecorator<Statement> makeNodeDecorator()

Returns:

a NodeDecorator that decorates statements in a slice for a dot-ted representation