【摘 要】
:
存在于计算机程序中的代码缺陷(尤其是内存破坏缺陷)严重危害到信息系统的安全。但是现有的自动化检测内存破坏缺陷工具和方法在实际场景中并不是非常的有效。这些工具和方法仅能够识别出代码中对于标准内存管理函数接口(例如malloc和free)的使用,并且假设一种朴素的成对使用模型:一个内存分配函数跟随着一个指定的内存释放函数使用。然而我们观察到开发者通常会定制化他们自己的内存管理函数,并且这些函数通常会体
论文部分内容阅读
存在于计算机程序中的代码缺陷(尤其是内存破坏缺陷)严重危害到信息系统的安全。但是现有的自动化检测内存破坏缺陷工具和方法在实际场景中并不是非常的有效。这些工具和方法仅能够识别出代码中对于标准内存管理函数接口(例如malloc和free)的使用,并且假设一种朴素的成对使用模型:一个内存分配函数跟随着一个指定的内存释放函数使用。然而我们观察到开发者通常会定制化他们自己的内存管理函数,并且这些函数通常会体现出两种主要的特征:(1)定制化的内存分配函数通常进行多对象且结构嵌入的分配,因此需要结构可知的内存释放函数来负责释放;(2)定制化的内存分配函数和内存释放函数不服从成对使用的模型。因此更有效的检测方法需要能够适应这些特征并且捕捉与其相关的非平凡内存管理行为。本文通过引入以内存对象为中心、结构可知的内存操作摘要表征(MOS)的概念,来对内存管理函数可知的内存破坏缺陷检测技术进行研究。一个内存操作表征抽象化地描述了一个内存管理函数所负责管理的内存对象、内存对象的管理行为和内存对象具有的结构体关系。基于内存操作摘要表征的缺陷检测能够在不依赖于朴素的成对使用模型下,探索更少冗余代码并处理多对象且结构嵌入的复杂内存建模。除此之外,为了全面地识别代码项目中的内存管理函数和为它们自动化地生成内存操作摘要表征,我们提出了一种结合了自然语言处理和数据流分析的新的识别方法,即使在非常大的代码项目中,其也能够高效且全面地完成对项目中内存管理函数的识别。本文设计并实现了基于内存操作摘要表征的检测系统,来自动化地检测由复杂的定制化内存管理行为造成的内存破坏缺陷。我们将此系统在包括操作系统内核、服务器应用程序在内的知名的开源项目上进行了实验测试,实验结果表示此系统在分析速度、准确识别的内存管理函数数目和检测出的内存破坏缺陷数目均优于现今最先进的内存破坏缺陷检测工具,并且检测报告在经过内存操作摘要表征的简化后更加易于开发者审阅,最终此系统检测出了 92个新的double-free和use-after-free缺陷,具有实际的应用价值。
其他文献
公有区块链通过引入去中心化架构避免了对中心实体的信任需求,从而重构了现有货币体系和支付模型,成为物联网支付和去中心化金融等领域的重要技术依托。然而,主流公有区块链所面临的低吞吐量与高交易费问题成为限制公有区块链发展的重要瓶颈,使公有区块链无法支持上述应用场景下高频和小额的交易需求。为解决这一问题,研究者提出了通过链下交易的方式提高区块链吞吐量的支付通道技术。然而,现有支付通道技术存在参与者数量限制
第一部分:PGAM5去乙酰化修饰对肝癌发生发展的影响。线粒体磷酸甘油酸变位酶/蛋白磷酸酶5(PGAM5)参与了细胞程序性死亡信号传递。在细胞中,PGAM5主要靶向底物蛋白的丝氨酸/苏氨酸残基进而发挥其去磷酸化酶的作用,这一过程调控了细胞中多种多样重要的生理过程,包括:线粒体质量控制、细胞氧化应激、细胞免疫以及细胞凋亡、坏死和自噬。然而PGAM5对肝细胞肝癌(HCC)发生发展的影响尚未见报道。赖氨酸
经济与社会的快速发展使我国出现了人口膨胀、交通拥堵及环境恶化等诸多城市问题。为寻求解决途径,国家各部委相继制定了系列文件指导轨道交通建设与城市协调发展,鼓励有条件的地区探索适合自身发展的TOD模式。作为国际性综合交通枢纽,重庆出台了系列政策条例,为轨道交通TOD综合开发明确了实施机制、提供了政策保障。重庆发展TOD模式具备得天独厚的优势:较长的轨道交通在建与规划里程、超3600万的人口规模是重庆发
作为一门起源于实际问题的学科,图论在计算机科学和网络空间安全领域有诸多应用,如社交网络、理论计算机、算法分析、编码理论、并行计算、网络拓扑结构分析、机器学习等等。本文讨论的是图论中的一个新的领域——随机扰动图模型。随机扰动图模型指在已有图结构的基础上,利用随机噪声进行扰动。其中已有的图结构有最小度约束,且随机部分的分布已知。其中“随机扰动”的思想起源于算法的平滑分析。该模型的创新点在于它将固定图和
为了改善等离子体约束状况,控制其中的各种不稳定模式,进而优化托卡马克的设计,必须对等离子体中的模式进行观测识别。因而大量的诊断系统比如电子回旋辐射成像(ECEI)、电子回旋辐射计(ECE)、磁探针、软X射线(SXR)和快辐射(Fast bolometer)等被设计出来用以观测等离子体的运行状态。经过这些系统在托卡马克上多年的运行,已经积累了大量的数据。这些数据对于核聚变的研究意义是十分重大的。然而
传统村落作为地域长久历史变迁的文化载体,不仅承载着历史人文、风土人情,也映照出当地村民的生活习俗。其所蕴含的物质文化遗产和非文化遗产具有非常高的研究意义和保护价值。村落空间形态是人们与自然环境互动产生的结果,它是一个自发的、逐步改进的、适应环境过程的产物,具有浓厚的地域特色和研究价值。近年来,有越来越多的专家学者对这项工作非常重视。莆仙地区地处福建省中部沿海地带,在半农半渔的生产方式以及浓郁的莆仙
功能化的无膜细胞器广泛存在于真核细胞中,它们可以调节RNA代谢、重塑基因组或减小环境胁迫对细胞的影响。应激颗粒(SG)是一种重要的无膜细胞器,其组装主要由液-液相分离(LLPS)驱动。细胞中SG通常保持着组装和去组装的精确平衡,但是当其中的某个组分发生微小的错义突变,即使是再固有无序区域(IDR),也可能在静电和疏水的相互作用下,形成致病性的淀粉样蛋白沉积物。应激颗粒由mRNA和多种RNA结合蛋白
在应试教育背景下,小学数学教师已经习惯于题海战术的教学策略,他们通常用为学生布置更多的作业,或者以增加课程课时的方式来达到教学目标。这种教学模式虽然在短期内能够取得一定的教学效果,但并不利于学生数学思维的形成,甚至会使学生形成厌学的心理。因此,基于“双减”政策探讨小学数学教学策略具有现实意义。
城市绿地景观是城市的重要组成部分,具有改善生态环境、提升居民生活质量等多种功能,快速的城市化进程导致城市绿地景观普遍存在同质化、缺乏特色、吸引力不足等问题,因此,提高城市绿地景观吸引力、改善城市绿地景观环境成为21世纪景观设计者需要解决的难题。研究发现,厦门市香山风景区核心园区存在吸引力不足、部分景点冷门等问题,且学术界对厦门香山的研究寥寥无几。场所依恋是人与场所之间基于感情(情绪、感觉)、认知(
乙型肝炎病毒(Hepatitis B virus,HBV)感染可导致慢性肝炎、肝纤维化与肝硬化,甚至肝细胞癌(Hepatocellularcarcinoma,HCC),是亟待解决的公共卫生难题。HBV感染诱导机体形成免疫耐受,进而阻碍机体免疫系统对病毒的清除,是HBV感染慢性化及恶性化的重要原因。已有的研究提示,抑制性受体介导的免疫抑制信号在HBV免疫耐受形成和维持过程中发挥了关键作用。我们实验室