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
Basic Modules