Documentation and Quick Start Guides for the S2E Symbolic Execution Platform - View it on GitHub