GitHub repository: static-analysis-engineering/codehawk
Primary language: OCaml
Description: CodeHawk Abstract Interpretation Engine and Analyzers