Runtime Analysis and Memory Error Detection for C and C++: Parasoft® Insure++® identifies difficult-to-track programming and memory-access errors, such as memory corruption, memory leaks, access outside of array bounds, invalid pointers, and more to ensure the integrity of your applications’ memory usage.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Yong, Suan Hsi; Horwitz, Susan: Using static analysis to reduce dynamic analysis overhead (2005)
- Yong, Suan Hsi; Horwitz, Susan: Reducing the overhead of dynamic analysis. (2002)