一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷,可以导致偶发的系统死锁和崩溃。实践证明,现有的主流开源操作系统存在不少该类缺陷,会引起实际的安全问题。随着系统软件自主化和物联网技术的发展,越来越多的国产操作系统诞生并被广泛使用,而这些国产操作系统中也会存在原子上下文休眠的缺陷,严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点,对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法,包含了两个创新点:
1)自适应流敏感分析算法,能够较为准确高效地找出在原子上下文中被调用的函数;
2)函数调用图的检查算法,能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等,能够有效降低误报和漏报,并提升分析效率。
本技术的工作流程是自动的,不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此,本发明可以应用于原子上下文休眠缺陷的检测,提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位,开展成果落地转化,以及探索服务模式。
清华大学
2022-05-20