← Valgrind: A Framework for Heavyweight Dynamic Binary ...