Developer Docs

This section provides documentation and setup information for setting up the analysis framework in Eclipse and IntelliJ.

Additionally, the Running Locally Section show how the analysis framework can be used in Java with our API. analysis/

Lastly, the Style Guide documents some design and style decisions that were discussed internally.