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).

output_params

Output parameter detection for C-to-Rust transformation.

patterns

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

tagged_union_analysis

Tagged union pattern detection (DECY-080).