Easy Abstract Interpretation with SPARTA

Explore the world of abstract interpretation and learn how to build scalable static analyzers efficiently using SPARTA, a C++ library developed by Facebook. Discover how this powerful tool streamlines the process of creating high-performance static analyzers for production environments. Delve into the key algorithms behind SPARTA and understand its language-independent nature, making it applicable across various platforms. Learn how Facebook utilizes SPARTA in their open-source Android bytecode optimizing compiler, Redex. Gain insights from experts Arnaud Venet, a PhD holder in abstract interpretation, and Jez Ng, an experienced programmer in language runtimes and compilers. By the end of this conference talk, you'll have a solid understanding of how to leverage SPARTA for your own analyses, focusing on extracting desired information from programs while ensuring soundness, efficiency, and scalability.

"Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng