Crate decy_analyzer 

Static analysis and type inference for C code.

Provides control flow analysis, data flow analysis, and type inference.

Modules

lock_analysis

Lock-to-data binding analysis for pthread synchronization (DECY-077).

patterns

Pattern detection for identifying Box<T> and Vec<T> candidates.