static-analysis.pdf