Valgrind is a framework for building dynamic analysis tools