These are post-lecture notes for my February 7th presentation for HOPL 2017. The theme is the use of Datalog as a framework for building static analyses. The lecture covered the history of Datalog, who its original application to static analysis, and its later success. These notes are a bare-minimum transcription of my on-paper notes for the lecture. Better than nothing. Datalog for Static Anal...

To detect and x bugs and security vulnerabilities, software companies use static analysis as part of the development process. However, static analysis code itself is also prone to bugs. To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries that the programs use. While more complex analys...

Static code analysis is a powerful approach to detect quality de ciencies such as performance bottlenecks, safety violations or security vulnerabilities already during a software system’s implementation. Yet, as current software systems continue to grow, current staticanalysis systems more frequently face the problem of insu cient scalability. We argue that this is mainly due to the fact that c...

The present issue is dedicated to papers selected from the presentations at the 10th International Static Analysis Symposium (SAS 2003), which was held June 11–13, 2003, in San Diego, California, USA. Static Analysis is a research area aimed at developing principles and tools for verification and semantics-based manipulation of programs and high performance implementations of programming langua...