This is an optional project for static analyzer via different abstract domains.
Primary LanguageOCaml