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 07 October 2024