Getting started with static program analysis. 静态程序分析入门教程。 - View it on GitHub