decy-analyzer 2.2.0

Static analysis and type inference for C code
Documentation