decy-analyzer 2.2.0

Static analysis and type inference for C code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! Static analysis and type inference for C code.
//!
//! Provides control flow analysis, data flow analysis, and type inference.

#![warn(missing_docs)]
#![warn(clippy::all)]
#![deny(unsafe_code)]

pub mod lock_analysis;
pub mod output_params;
pub mod patterns;
pub mod subprocess_analysis;
pub mod tagged_union_analysis;
pub mod void_ptr_analysis;