Package com.ibm.wala.shrike.shrikeBT.shrikeCT.tools

Class BatchVerifier

java.lang.Object

com.ibm.wala.shrike.shrikeBT.shrikeCT.tools.BatchVerifier

public class BatchVerifier
extends Object

This is a demo class.

Class files are taken as input arguments (or if there are none, from standard input). The methods in those files are instrumented: we insert a System.err.println() at ever method call, and a System.err.println() at every method entry.

In Unix, I run it like this: java -cp ~/dev/shrike/shrike com.ibm.wala.shrikeBT.shrikeCT.tools.BatchVerifier test.jar -o output.jar

The instrumented classes are placed in the directory "output" under the current directory. Disassembled code is written to the file "report" under the current directory.

Constructor Summary

Constructors

Constructor	Description
BatchVerifier()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Details

BatchVerifier

public BatchVerifier()

Method Details

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception