Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform
S2E: a platform for in-vivo multi-path analysis of software systems