Model-based whitebox fuzzing for program binaries
Pin: building customized program analysis tools with dynamic instrumentation