S2E - A Platform for In-Vivo Multi-Path Software Analysis