Statically detects subtle run time errors and weak points in a Java source code

AcademSoft info

[an error occurred while processing this directive]	Web site:
	Contacts: Russia, Novosibirsk, ave. Lavrenteva, 6a <dyp at perchine dot com> Contact person: Denis Perchine

AcademSoft programs

Wasp Static Error Checker 3.1 by AcademSoft Wasp statically detects subtle run-time errors in a Java code: null pointer exception, impermissible cast, array index out of bounds, division by zero, etc. Wasp detects the following weak points: uninitialised variable, unreachable branch in conditional or switch statement, unreachable loop body or catch clause, assignment of variable whose value is never used, etc. Wasp produces detailed and precise method call graph. static, error, checker   Buy ($299) / Download (1.2 MB)