【摘 要】
：
文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点：一是对导致TOCTTOU缺陷的函数对缺乏精确定义和分析;二是分
【机 构】
：
基础软件国家工程中心中国科学院软件研究所,中国科学院研究生院,石家庄铁道大学信息科学与技术学院
【基金项目】
：
国家自然科学基金项目（90818012）,“核高基”国家科技重大专项（2010ZX01036-001-002）,中国科学院知识创新工程重要方向项目（KGCX2-YW-125）
论文部分内容阅读
文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点：一是对导致TOCTTOU缺陷的函数对缺乏精确定义和分析;二是分析过程过度抽象,忽略了很多重要的程序信息.因此,首先对TOCTTOU缺陷进行了分类,并系统分析了C标准库中可以导致TOCTTOU缺陷的函数对.在此基础上,提出了一种TOCTTOU缺陷的静态分析方法,利用有限状态安全属性刻画TOCTTOU缺陷,分析精度达到了过程内路径敏感、过程间流敏感.实验结果表明,该方法能够有效检测C程序中
其他文献
目的探讨不同子宫瘢痕妊娠治疗方式的疗效情况。方法选取50例于2013年8月至2015年8月期间我院接收的CSP患者,随机分为A组(阴式子宫瘢痕妊娠病灶清除联合子宫修补术,n=25)与B
隐私保护是数据挖掘领域中一个极其重要而富有挑战性的课题，以实现隐私数据的保护和准确知识的挖掘两者兼得为其最终目标．统计回归是数据挖掘的常用工具之一，而数据分布式存储情
和谐社会以人为本之理念,在当今社会已深入人心,而具体化则有许多途径.生老病死泽被后世为中国人之传统.每个中国人的心中都为亲情所缠绕,每个中国人都希望无论在生前还是身
“海上战士”高速双体演示舰的测试工作由美国海军和海上运输局共同实施。2005年7月1日正式从“泰坦”公司接收“海上战士”号后，美海军随即派遗了16名海军人员和10名海岸警卫
我国台湾地区由于很好地处理了职业教育体系与普通教育体系的关系，创建了良好的职普沟通、中高衔接的实用性教育体系，为台湾地区培养了大量技术性人才，使得台湾地区的经济发展令
针对成本约束有向无环图DAG（directed acyclic graph）表示的网格工作流完工时间最小化问题,提出两个基于优先级规则的迭代启发算法.算法利用并行活动特征定义正向分层和逆向分
南北钦防经济区是广西五大特色经济区之一，在广西未来整体经济发展中起着龙头和窗口的作用。但是应当看到的是：特色经济区产业的发展与布局不仅取决于正确政策的导向，而且还必须