SPARTA

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

A C++ library of software components for building high-performance static analyzers.

Website | Source

Easy Abstract Interpretation with SPARTA
- Strange Loop 2019; Arnaud Venet and Jez Ng
- https://www.youtube.com/watch?v=_fA7vkVJhF8
- https://thestrangeloop.com/2019/easy-abstract-interpretation-with-sparta.html

Tags: tool   native   library  

Last modified 16 December 2024