Summary Introduction Overview Installing How to Contribute What to Contribute Top-level interfaces Loading a binary Intermediate Representation Solver Engine Program State Symbolic Execution The Execution Engine Controlling Execution Bulk Execution - Path Groups Bulk Execution - Surveyors Working with Data and Conventions Analyses CFGAccurate Backward Slicing Speed Considerations Examples FAQ Gotchas Changelog