Skip to main content

Module analysis

Module analysis 

Source

Modules§

composite_flow
Crate-private value-flow graph construction for composite findings.
cross_file
Cross-file sanitizer-aware validation tracking.
interprocedural
Interprocedural call-graph and cross-function taint propagation engine (milestone v1.0.0).