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