goblint/analyzer

**Summary** Goblint (analyzer) is an OCaml‑based static analysis framework for C code that can be extended with AI‑driven analyses, enabling rapid prototyping o