优化的静态分析技术,数据流分析,Java语言的缺陷及检测实例,C/C++语言缺陷及检测实例。