A fork of the goblint static analysis framework with an interface to external information.
Primary LanguageOCamlOtherNOASSERTION
No issues in this repository yet.