security-paper/Program-Analysis/Principles_of_Program_Analysis at master · firmianay/security-paper · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
PPA.pdf		PPA.pdf
README.md		README.md
slides1.pdf		slides1.pdf
slides2.pdf		slides2.pdf
slides3.pdf		slides3.pdf
slides4.pdf		slides4.pdf
slides5.pdf		slides5.pdf
slides6.pdf		slides6.pdf

README.md

http://faculty.sist.shanghaitech.edu.cn/faculty/songfu/cav/PPA.pdf

http://www.imm.dtu.dk/~hrni/PPA/ppasup2004.html