/SPARTA

SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.

Primary LanguageC++MIT LicenseMIT

No issues in this repository yet.