Outputs the list of names of top Java files (with the public static void main(String [])method) for the directory hierarchy based on the directory defined by parameter to stdout. If parameter is omitted, Wasp collects names of top Java files for the directory hierarchy based on the current directory (see chapter Invoking Wasp for list of Java programs).

CONTINUE - read latest irf-file Setting this option enables the continuation of the Wasp analysis for partially analysed program saved to the irf-file with the recent time. So, after saving an analysed program to the irf-file you may type wasp -continue or simply wasp -c to continue analysis. See chapter Saving partially analysed program to a file. SERVLET - analysing servlet program Use for analysis http servlet program. The top java file should include the declarations of any servlet methods: doGet, doPost, etc. See chapter Checking Servlets. SHOW - print names of analysed methods Setting this option enables printing of the method names as they are processed by data flow analysis during further analysis. The name of the method is displayed with two attributes, like in the first section of the method call graph (see Method call graph). The token @ after the method name means that the analysis of the method will be resumed after finishing analysis of a called method in it's body. See section Interactive facilities. SOURCEPATH - search paths for source code files This option defines directories where Wasp can search for Java source files (see sections Options). Several -sourcepath options are permitted. CLASSPATH - search paths for class-files This option defines directories where Wasp can search for class-files (see sections Options). The jar and zip archives of packages of class-files may be also defined. Several -classpath options are permitted. MSGPATH - directory for message listings This option defines directory where Wasp will write files of message listings (see sections Options). By default, Wasp will write message listings into the current directory. GRFPATH - directory for method call graphs This option defines directory where Wasp will write files of method call graphs (see sections Options). By default, Wasp will write method call graphs into the current directory. IRFPATH - directory for partially analysed programs This option defines directory where Wasp will write files of partially analysed programs (see sections Options). By default, Wasp will write partially analysed programs into the current directory. SAVE - saving analysed program When the analysis stage with the specified number is finished, the analysed program is saved into the irf-file. See sections Saving partially analysed program to a file and Analysis phases. SAVE_MEM - saving analysed program on memory limit The analysed program is saved after the stage that caused Wasp to exceed the specified amount of memory. Then, the READ option can be used to continue analysis. Default value see in the table Default settings. See section Saving partially analysed program to a file for more information. READ - continue a previously saved analysis If specified, this option forces Wasp to read partially analysed program from the given file, previously saved by using the SAVE option or the SAVE_MEM option. The data-flow analysis is then continued. See also section Saving partially analysed program to a file. CUT - analysis cut off after specified stage If specified, this option causes data flow analysis to stop current analysis phase after the specified stage. The part of the program that has not been processed during the current phase is cut off; the subsequent phases will process only the program part processed by the current phase. See section Cutting of program analysis for more information. CUT_CI - analysis cut off after exceeding memory limit If specified, this option causes Wasp to terminate the context-insensitive analysis phase after completion of the current stage, if the amount of memory required for analysed program exceeds the limit specified by the option. Default value see in the table Default settings. See section Cutting of program analysis for more information. CUT_READ - analysis cut off after read irf-file If specified, this option causes Wasp to terminate the context-sensitive analysis phase after reading the irf-file if the amount of memory for analysed program exceeds the limit specified by the option. Default value see in the table Default settings. See section Cutting of program analysis for more information. ONE - analyse given methods context-insensitively Only the context-insensitive data flow analysis is applied to the listed methods, if any. Use this feature to speedup analysis in exchange for its accuracy. See also section Simplified analysis of methods. ERRLIM - maximum number of errors in compilation by front-end Sets the maximum number of errors allowed to produce by the Excelsior Java front-end during compilation of a Java program (by default 16). Default settings In the table below, there are default values of the options depended on the size of the physical memory available in your computer. 64M 128 M 256M 512M 1024M 2048M Lite cut_ci 100 180 300 700 1200 2100 170 cut_read 140 240 455 900 1600 2500 220 save_mem 170 290 585 970 1700 2800 -



Copyright 2000, 2001, 2002, 2003 AcademSoft. All rights reserved.