Introduction
Wasp analysis
analysed configuration
analysis phases
Wasp messages
Message levels
Information on variables
Contexts
Variable denotations
Syntax notation
Portable notation for file and directory names
Using the Wasp analyser
Options
Invoking Wasp for one Java program
Invoking Wasp for list of Java programs
Wasp strategy for big programs
Saving partially analysed program to a file
Cutting of program analysis
Interactive facilities
Simplified analysis of methods
Checking Servlets
Method call graph
Wasp message list
analysis cutoff in declaration of method <method name>
binary operator result out of bounds for <value> and <value>
Cutoff for call of method <method name>
condition in for cycle always is equal true
division by zero for variable(s) <variable list>
false condition - body of for cycle never executed
false condition - unreachable then-branch
false first operand in &&/|| operator
false while-condition - do statement executed only once
false while-condition - loop body never executed
field <Identifier> of variable(s) <variable list> not used
formal parameter <variable name> not used
impermissible cast for variable(s) <variable list> [<iteration condition>]
method <Identifier> not completed normally
null pointer exception for variable(s) <variable list> [<iteration condition>]
object generated by new not used
range <range> overflow on value <value>
range <range> underflow on value <value>
switch expression value may have no switch label
true condition - unreachable else-branch
true first operand in &&|| operator
uncaught exception
unreachable branch in switch
unreachable catch clause
unreachable default branch in switch
variable(s) <variable list> assigned but not used
variable(s) <variable list> moved before assignment [<iteration condition>]
variable(s) <variable list> used before assignment [<iteration condition>]
while-condition always is equal true
while-condition in do statement always is equal true
zero divisor <value>
Wasp options
SCaN - outputs the list of top Java file names
CONTINUE - read latest irf-file
SERVLET - analysing servlet program
SHOW - print names of analysed methods
SOURCEPaTH - search paths for source code files
CLaSSPaTH - search paths for class-files
MSGPaTH - directory for message listings
GRFPaTH - directory for method call graphs
IRFPaTH - directory for partially analysed programs
SaVE - saving analysed program
SaVE_MEM - saving analysed program on memory limit
REaD - continue a previously saved analysis
CUT - analysis cut off after specified stage
CUT_CI - analysis cut off after exceeding memory limit
CUT_REaD - analysis cut off after read irf-file
ONE - analyse given methods context-insensitively
ERRLIM - maximum number of errors in compilation by front-end
Default settings
Manual on Static Error Analyser
Wasp
Introduction
Wasp Analysis
Wasp messages
Syntax notation
Using the Wasp analyser
Wasp strategy for big programs
Checking Servlets
Method call graph
Wasp message list
Wasp options
Copyright 2000, 2001, 2002, 2003
AcademSoft
. All rights reserved.
