dk.brics.xact.analysis
Class Main

java.lang.Object
  dk.brics.xact.analysis.Main

public class Main
extends Object

Command-line interface to the program analysis for XACT.

Method Summary

static void

main(String[] args) Analyzes the given classes and reports warnings to standard output.

Methods inherited from class java.lang.Object

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

Method Detail

main

public static void main(String[] args)

Analyzes the given classes and reports warnings to standard output. The system property soot-classpath can be set to the class path for the classes to be analyzed.