Automatic Error Detection Techniques Based on Dynamic Invariants THESIS submitted in partial fulfillment of the requirements for the degree of MASTER OF
Pin: building customized program analysis tools with dynamic instrumentation