类Unix文件系统中TOCTTOU缺陷的静态分析方法

作者：韩伟; 贺也平

来源：Z201108016, 2011, 48(08): 1430-1437.

• TOCTTOU缺陷
• 文件竞争条件
• 静态分析
• 流敏感分析
• 路径敏感分析 TOCTTOU vulnerabilities
• file race conditions
• static analysis
• flow sensitive analysis
• path sensitive analysis

文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点:一是对导致TOCTTOU缺陷的函数对缺乏精确定义和分析;二是分析过程过度抽象,忽略了很多重要的程序信息.因此,首先对TOCTTOU缺陷进行了分类,并系统分析了C标准库中可以导致TOCTTOU缺陷的函数对.在此基础上,提出了一种TOCTTOU缺陷的静态分析方法,利用有限状态安全属性刻画TOCTTOU缺陷,分析精度达到了过程内路径敏感、过程间流敏感.实验结果表明,该方法能够有效检测C程序中的TOCTTOU缺陷,相比现有方法,有效降低了误报率.

• 单位
  中国科学院研究生院; 中国科学院软件研究所; 石家庄铁道大学