/ocaml-absint

A simple static analyzer for a toy language based on abstract interpretation. Based on the book "Introduction to Static Analysis" by X. Rival and K.Yi

Primary LanguageOCamlMIT LicenseMIT

Watchers