Module analysis 

Modules

cross_file

Cross-file sanitizer-aware validation tracking.

interprocedural

Interprocedural call-graph and cross-function taint propagation engine (milestone v1.0.0).