Wasp Static Error Checker download

"Data flow analysis to detect fine run time errors"
indir.biz Editor: If the Java program has been tested thoroughly, but still error-prone, WASP program you analyzer fine run-time errors and weak points may help to detect. the following errors in any static detection of: null pointer exception, prohibited cast, array index out of bounds, division by zero, etc. weaknesses following types can be detected: uninitialised variable can not be accessed in branch offices or switch statement, unreachable loop conditional body or catch clause, variable value assignment, and detailed program etc.Wasp precise method call graph search methods Graph.The production method can not be accessed using the main output will never know what the actual methods and for each method will help in the house called. Furthermore, other static error analyzers here this method may be called.In comparison, Wasp has two important advantages.Wasp may know a precise error for each method in a possible error (warning), and potentially can distinguish the wrong position. In the second case, Wasp a message called conditional error in this particular application five.Wasp an error about a case appears to show generates, so some calls are just a display error can accept the context-sensitive data flow analysis makes the method including, but not the others yet. We all known static analyzers (Java, MetaMata Control, for example QStudio etc.) to run the static sensor alerts when errors produceonly long lists, because the analysis because of a weak program does not recognize certain errors can be applied. His ability to find errors in programs proven to be a fine, the user has all warnings.Wasp waste much time for analysis and development stages of debugging evenafter test because of the complexity of real situations Waspdetects.
New:
Wasp can be accessed on-line manual for Linux 3.2
Servlet programs can be analyzed with Wasp 3.2
Java 1.4 statement with the allegations right now Wasp Static Error Checker 3.2 Wasp 3.2 can download free is processed.