S2E: A platform for multi-path program analysis with selective symbolic execution. - View it on GitHub