Purify

• 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

Previous slide

Next slide

Back to first slide

View graphic version