GitHub repository: purpl-jb/dai-query
Primary language: OCaml
Description: Demanded Abstract Interpretation with Queries