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

java.lang.Object
  com.ibm.wala.shrikeBT.shrikeCT.tools.BatchVerifier

public class BatchVerifier
extends java.lang.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

BatchVerifier()

Method Summary

static void

main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

BatchVerifier

public BatchVerifier()

Method Detail

main

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

Throws:

java.lang.Exception