软件学报

作者：陆申明，左志强，王林章

单位：陆申明，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21002311,左志强，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21002302,王林章，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21002303

关键词：静态程序分析;软件质量保障;并行计算;分布式处理;GPU加速

基金：国家自然科学基金（61802168）；江苏省自然科学基金（BK20191247）

静态程序分析发展至今，已在多个方面取得了长足的进步，应用于软件开发的众多方面.但对现代大规模复杂软件系统（如千万行代码规模的Linux操作系统、分布式大数据处理系统Hadoop等）进行高精度的静态分析，因其极大规模数据量的计算，仍有一定难度.精度、效率和可扩展性相互制约，是静态分析技术在工业界应用的主要障碍.对此，近年来，随着多核、众核架构的兴起，研究人员提出了静态分析的各种并行化解决方案.首先梳理了静态分析的发展历程，然后针对当前静态分析面临的挑战，在分析了传统算法优化研究的不足后，对利用硬件资源进行并行优化的方法进行了充分讨论，包括单机的CPU并行、分布式和GPU实现这3个方面；在此基础上，对一些使用较为广泛的支持并行的静态分析工具进行了评估；最后，对未来如何从算法和算力角度对静态分析进行并行优化作了讨论和展望.

来源：2020年第5期

《软件学报》期刊编辑部

查看软件学报杂志2020年第5期