Sharir and Pnueli's TWO APPROACHES TO INTERPROCEDURAL DATA FLOW ANALYSIS

Posted on Fri 18 August 2017 in tech • Tagged with static analysis

This paper is really hard to come by and all scans are either incomplete or include the empty backpages. Here's a cleaned up version: Download


Continue reading

Guided Static Analysis slides

Posted on Thu 22 October 2015 in tech • Tagged with static analysis, ethz, seminar, talk

Checkout the slides of my presentation about the Guided Static Analysis paper by Denis Gopan and Thomas Repos.


Continue reading