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, 8353🔥, 0💬
Related Topics:
Logiscope
Telelogic - Source code analysis tools 2006-06-07, ∼8809🔥, 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, ∼8781🔥, 0💬
Purify
Purify - Rational Software - Run-time error and memory leak detector 2006-06-07, ∼8544🔥, 0💬
GlowCode
Electric Software - Memory and resource leak detection, code profiler, function call trace, and report tools for Win32 programs 2006-06-07, ∼8390🔥, 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, ∼8354🔥, 0💬