Commercial-Grade Static Analyzers in Datalog
Software development and quality assurance teams use static analyzers to find bugs and adhere to industry standards. Static analyzers must rapidly adapt to various programming styles and project requirements. In addition, they must scale to process large code bases with adequate precision. Unfortunately, implementing commercial-grade static analyzers is tedious, error-prone, time-consuming, and costly.
This talk will outline the rapid implementation of commercial-grade static analyzers in modern Datalog languages and present some industrial use cases. We will discuss the performance challenges of modern Datalog engines used for implementing static analyzers and techniques to make static analyzers scale and truly declarative.