Purify (& Bounds-checker)
Dynamic (commercial) tool for detecting memory leaks and access errors
- http://www.rational.com/products/purify/
- In some sense, a dynamic analog to the memory checking aspects of LCLint
Trapping every memory access would be overly expensive
- Purify inserts function calls before loads and stores to maintain a table that holds a 2-bit state for each byte in the heap and stack
- Requires working with malloc/free, too