saf_core/
lib.rs

1pub mod air;
2pub mod air_visitor;
3pub mod cache;
4pub mod config;
5pub mod error;
6pub mod id;
7pub mod ids;
8pub mod layout;
9pub mod logging;
10pub mod manifest;
11pub mod program;
12pub mod span;
13pub mod spec;
14pub mod summary;
15pub mod summary_registry;
16
17pub use error::CoreError;
18
19// SAF log module/phase registry — must be at crate root so that
20// $crate::__saf_log_registry resolves correctly in cross-crate saf_log! usage.
21saf_log_module! {
22    pta { constraint, solve, hvn, scc, lcd },
23    callgraph { build, refine },
24    cfg { build },
25    svfg { build, optimize },
26    valueflow { build, query },
27    defuse { build },
28    mssa { build },
29    checker { memleak, uaf, nullptr, pathsens },
30    absint { interproc, transfer, escape, nullness },
31    frontend { ingest },
32    pipeline { constraint, incremental, analysis },
33}
saf_core/lib.rs

saf_core/
lib.rs
