decy-analyzer 0.2.0

Static analysis and type inference for C code
Documentation

Static analysis and type inference for C code.

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