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 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Yong, Suan Hsi; Horwitz, Susan: Using static analysis to reduce dynamic analysis overhead (2005)