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.