Package joeq.Main

Class Summary
ClassDump  
ClassName Extracts the class name from the class file(s) given on the command line.
ClasspathWalker author: V.Benjamin Livshits $Id: ClasspathWalker.java,v 1.22 2005/10/08 19:51:20 joewhaley Exp $
Driver  
FindBestPermutation FindBestPermutation
GenerateWebRoots A command-line utility to generate an invocation stub from a web.xml file.
GenRelations Generate initial relations for BDD pointer analysis.
GetBootClassPath  
Hello  
Helper  
HostedVM  
HostedVM.BogusHeapAddress  
Instrument Instrument
Instrument.ClassVisitor  
jq  
PrintCFG  
TraceFlags