GitHub repository: keremc/analyzer
Primary language: OCaml
Description: The goblint static analysis framework