A tool for differentially testing soundness and precision of program analyzers
Primary LanguageHaskellMIT LicenseMIT