NoyaFangzhou/SPARTA
SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.
C++MIT
No issues in this repository yet.
SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.
C++MIT
No issues in this repository yet.