Forks
450
Open issues
164
Watchers
7,163
Size
572.2 MB
OCamlMIT License
abstract-interpretationcode-qualitycontrol-flow-analysisocamlprogram-analysispythonsecuritystatic-analysistaint-analysistype-checktypechecker
Created: Nov 10, 2017
Updated: May 22, 2026
Last push: May 25, 2026