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