GitHub repository: just-max/goblint-analyzer
Primary language: OCaml
Description: Static analysis framework for C (development fork)