a runtime verification tool for unmanaged code that finds programming errors. Tests on your code to identify issues within heaps, handles, and locks.