Crate decy_analyzer 

Static analysis and type inference for C code.

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

Modules

patterns

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