软件学报

作者：葛丽丽，帅东昕，谢金言，张迎周，薛渝川，杨嘉毅，密杰，卢跃

单位：葛丽丽，南京邮电大学 计算机学院, 软件学院, 网络空间安全学院, 江苏 南京 21002311,帅东昕，南京邮电大学 计算机学院, 软件学院, 网络空间安全学院, 江苏 南京 21002302,谢金言，南京邮电大学 计算机学院, 软件学院, 网络空间安全学院, 江苏 南京 21002303,张迎周，南京邮电大学 计算机学院, 软件学院, 网络空间安全学院, 江苏 南京 21002304,薛渝川，南京邮电大学 计算机学院, 软件学院, 网络空间安全学院, 江苏 南京 21002305,杨嘉毅，南京邮电大学 计算机学院, 软件学院, 网络空间安全学院, 江苏 南京 21002306,密杰，南京邮电大学 计算机学院, 软件学院, 网络空间安全学院, 江苏 南京 21002307,卢跃，南京邮电大学 计算机学院, 软件学院, 网络空间安全学院, 江苏 南京 21002308

关键词：软件供应链;异常分析;库函数;精度优化;效率优化;函数摘要

软件在国民经济的各个领域占据越来越重要的地位.万物互联的大背景下，信息之间的交互、分析、协同变得越来越普遍，程序/软件之间的依赖关系逐渐增多，这使得人们对系统可靠性和健壮性提出了更高的要求.由开源组件和第三方组件构成的软件供应链，其所面临的安全问题近年来成为了学术界和工业界共同关注的焦点.库函数作为开源软件的重要组成部分，与软件供应链安全有着密切的联系.为了提高软件开发效率，软件库或应用程序编程接口（API）在程序编写过程中会被频繁使用，但库函数中存在的错误或漏洞可能会被攻击者利用，从而损害软件供应链安全.这些错误或漏洞往往与库函数中存在的异常有关，因此，从精度和效率两方面对适用于库函数的异常分析方法进行总结归纳，对于每种异常分析方法的基本思想和重要过程进行阐述，并针对库函数异常分析面临的挑战给出初步解决思路.对软件供应链中的库函数进行异常分析，有助于增强软件系统的健壮性，进而保障软件供应链的安全.

来源：2023年第6期

《软件学报》期刊编辑部

查看软件学报杂志2023年第6期