isbn9787030756251

程序分析技术

《程序分析技术》,作者:王甜甜 著 出版社:科学出版社 ISBN:9787030756251。程序分析技术是编译器、软件开发以及软件质量保障的基础。本书共6章,主要内容包括程序分析基础、程序的中间表示、数据流分析、程序切片与程序插桩、软件缺陷检测、智能化程序分析技术等,涵盖了程序分析基础理论和技术,还贯穿若干案例,讲解工业界的程序分析实践。