Expand description
SAF configuration contract (SRS Section 6).
Config is JSON-serializable and hashed into cache keys. All fields have documented defaults matching the SRS specification.
Structs§
- Analysis
Config - Analysis sub-configuration.
- Config
- Top-level configuration for a SAF analysis run.
- Incremental
Config - Configuration for incremental analysis (Plan 165).
- Paths
Config - Path normalization sub-configuration.
- Rust
Config - Rust-specific sub-configuration.
Enums§
- Analysis
Mode - Analysis mode controlling the speed/precision trade-off.
- Config
Field Sensitivity - Field sensitivity level for the top-level config.
- External
Side Effects - External call side-effect model.
- Frontend
- Which frontend to use for ingestion.
- PtaSolver
- Which PTA solver backend to use.