|
"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 the program. "The following kinds of errors may be statically detected: null pointer exception, impermissible cast, array index out of bounds, division by zero, etc. The following kinds of weak points may be detected: usage of uninitialised variable, unreachable branch in conditional or switch statement, unreachable loop body or catch clause, assignment of variable whose value is never used, abnormal completion of method, etc. "Wasp produces detailed and precise method call graph to facilitate your understanding Wasp error messages." Note: This program costs $299 to register and the checked Java program should include less than 2,000 lines of source code.
Download
NOW
|
back next
Pages:
11764 ,
11765 ,
11766 ,
11767 ,
11768 ,
11769 ,
11770 ,
11771 ,
11772 ,
11773 ,
11774 ,
11775 ,
11776 ,
11777 ,
11778
|
VVVVVV
|
