A C++ library of software components for building high-performance static analyzers.
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
Last modified 07 October 2024