PolySpace Suite
PolySpace - Detects run-time errors and non-deterministic constructs in applications at compilation time. The Suite is available for ANSI C, C++ and Ada 83/95.
✍: FYIcenter.com
2006-06-07, 8390🔥, 0💬
Related Topics:
Logiscope
Telelogic - Source code analysis tools 2006-06-07, ∼8875🔥, 0💬
LDRA
LDRA Testbed is a unique quality control tool that provides powerful source code testing and analysis facilities for the validation and verification of software applications. 2006-06-07, ∼8800🔥, 0💬
Purify
Purify - Rational Software - Run-time error and memory leak detector 2006-06-07, ∼8563🔥, 0💬
GlowCode
Electric Software - Memory and resource leak detection, code profiler, function call trace, and report tools for Win32 programs 2006-06-07, ∼8434🔥, 0💬
PolySpace Suite
PolySpace - Detects run-time errors and non-deterministic constructs in applications at compilation time. The Suite is available for ANSI C, C++ and Ada 83/95. 2006-06-07, ∼8391🔥, 0💬