S2E: a platform for in-vivo multi-path analysis of software systems
PinOS: a programmable framework for whole-system dynamic instrumentation