decy_analyzer/lib.rs
1//! Static analysis and type inference for C code.
2//!
3//! Provides control flow analysis, data flow analysis, and type inference.
4
5#![warn(missing_docs)]
6#![warn(clippy::all)]
7#![deny(unsafe_code)]
8
9pub mod lock_analysis;
10pub mod output_params;
11pub mod patterns;
12pub mod subprocess_analysis;
13pub mod tagged_union_analysis;
14pub mod void_ptr_analysis;