Scalable Static Analysis Framework

This is a framework for writing cross-translation unit analyses in a scalable and extensible setting.

• 1. Summary Extraction
  • 1.1. Command-line interface
  • 1.2. Diagnostics

Developer documentation