decy-analyzer 1.0.1

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.