Advertisement
Wasp Static Error Checker
If your Java program has been thoroughly tested but still error-prone, the Wasp analyser can help to detect subtle run-time errors and weak points in your program. The following kinds of errors may be...
checker subtle visualize call graph method call Java method calls