<b>Accuracy:</b> Identify memory corruption and race conditions to eliminate erroneous results

The threading and memory focus each level of analysis. Which progressive gets more details in cost of higher overhead. Each level are level 1: detects deadlock, level 2: detect deadlocks & data races, and level 3: locate deadlocks & data races.