decy-analyzer 2.1.0

Static analysis and type inference for C code
Documentation