decy-analyzer 1.0.2

Static analysis and type inference for C code
Documentation