# Summary

* [Introduction](README.md)
   * [Overview](docs/overview.md)
   * [Installing](INSTALL.md)
   * [How to Contribute](HACKING.md)
   * [What to Contribute](HELPWANTED.md)
* [Top-level interfaces](docs/toplevel.md)
* [Loading a binary](docs/loading.md)
* [Intermediate Representation](docs/ir.md)
* [Solver Engine](docs/claripy.md)
* [Program State](docs/states.md)
* [Symbolic Execution](docs/symbolic.md)
   * [The Execution Engine](docs/simuvex.md)
   * [Controlling Execution](docs/paths.md)
   * [Bulk Execution - Path Groups](docs/pathgroups.md)
   * [Bulk Execution - Surveyors](docs/surveyors.md)
* [Working with Data and Conventions](docs/structured_data.md)
* [Analyses](docs/analyses.md)
   * [CFGAccurate](docs/analyses/cfg_accurate.md)
   * [Backward Slicing](docs/analyses/backward_slice.md)
* [Speed Considerations](docs/speed.md)
* [Examples](docs/examples.md)
* [FAQ](docs/faq.md)
* [Gotchas](docs/gotchas.md)
* [Changelog](CHANGELOG.md)

