GitHub repository: yuxuanchen1997/SPARTA
Primary language: C++
Description: SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.