Scalable Static Analysis Framework

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

• 1. Source Edit Generation
  • 1.1. Driver options
  • 1.2. Examples
• 2. Summary Extraction
  • 2.1. Command-line interface
  • 2.2. Diagnostics

Developer documentation