Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.
Primary LanguageOCamlMIT LicenseMIT