/Prototype_analyzerwithApron

A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library

Primary LanguageOCaml

Stargazers

No one’s star this repository yet.