GitHub repository: reb-ddm/analyzer
Primary language: OCaml
Description: Static analysis framework for C