decy-analyzer 2.1.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.