Skip to main contentCrate saf_core
Source pub use error::CoreError;
- air
- AIR (Analysis Intermediate Representation) — SAF’s canonical, frontend-agnostic IR.
- air_visitor
- Visitor pattern for traversing AIR module structures.
- cache
- Fingerprint-keyed disk cache for
AirBundle results. - config
- SAF configuration contract (SRS Section 6).
- error
- Core error types for
saf-core operations. - id
- BLAKE3-based deterministic ID generation for SAF entities.
- ids
- Newtype wrappers for SAF entity IDs.
- layout
- Struct layout computation for AIR types.
- logging
- Structured debug logging system for SAF.
- manifest
- Cache manifest for tracking module fingerprints across analysis runs.
- program
- Multi-module program linking.
- span
- Source span and symbol types for optional metadata.
- spec
- Function specification system for external/library function modeling.
- summary
- Function summaries for compositional analysis.
- summary_registry
- Unified lookup for function summaries from all sources.
- saf_log
- Emit a structured SAF debug log event.
- saf_log_module
- Declares SAF log modules and their phases for compile-time validation.