1.
Introduction
2.
Installation Guide
3.
Framework
3.1.
Frontend
3.2.
Backend
4.
Preliminaries
5.
Basic Modules
5.1.
Alias Analysis
5.2.
Interval Analysis
5.3.
Value-flow Analysis
5.4.
Control-flow Analysis
5.5.
Heap-item Type Analysis
6.
Sample Applications
6.1.
Dangling Pointer Bug Detection
6.2.
Memory Leak Detection
6.3.
Unsafe Code Propagation Analysis
Light (default)
Rust
Coal
Navy
Ayu
Rust Analysis Platform
TODO