一种基于模型检验的缓冲区溢出检测方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:liongliong446
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
缓冲区溢出已经成为程序漏洞的主要根源之一。目前存在的缓冲区溢出检测方法或多或少地都存在着不足,从而限制了这些方法的实际应用。深入研究了当前缓冲区溢出检测方法的优缺点,对程序中的缓冲区及其相关操作进行建模,设计了一种基于模型检验的缓冲区溢出检测方法,并开发了一个原型工具来对该方法进行初步验证。在剖析缓冲区溢出基本原理的基础上,对程序中的缓冲区及其相关操作建立了理论模型,设计了一种基于模型检验的缓冲区溢出检测方法。最后,实现了一个原型工具来对该方法进行初步验证。
其他文献
弥勒信仰作为民间宗教,魏晋以降几乎成了许多民间宗教运动的核心。本文主要从三方面论述弥勒信仰在民间宗教中的作用:一是弥勒净土为苦难民众虚构了一个理想图;二是末劫论为民间
传统的迷彩图案中斑点的边界平滑分明,不利于与斑点破碎的背景融合。数码迷彩边界模糊、破碎,近距离观察时能够有效分割大斑点,远距离观察时能够形成空间混色,大大增强了迷彩
<正>作文是语文学习极为重要的一个环节,作文水平的高低反映出学生语文能力的高低。我们知道,写作是一种运用语言表达思想的能力,写作能力的培养,一直是语文教学中的重头戏。
目的:运用两种不同造模方法成功构建兔脊柱结核模型,通过对多b值弥散加权序列的ADC值进行比较并分析感兴趣区(ROI)的不同选择方法,为早期临床脊柱结核奠定基础。方法:外科手术
采用三波长-光谱法测定绞股蓝中总黄酮的含量,有效地消除了吸收峰不对称给定量分析造成的影响,并校正了基于干扰组分的吸收光谱具有线性吸收产生的基线倾斜.本法的回收率为96
教育是培养人的一种社会活动,在这种活动中,既要体现社会的要求,又要促进人的身心发展,它是一个统一的活动过程,教育是有目的有计划地影响人、培养人的社会活动,它在人类发展
通过考察《红楼梦》主谓谓语句的句法结构、语用功能和话题结构特征,归纳总结句中NP1以及NP2的可用成分,探明时空词以及其他成分的语序变换是主谓谓语句话题化的重要手段,从
城投企业,大多依托当地政府成立,主要承担城市基础设施的融资、投资和建设等公益性项目,更具有社会效益,其项目具有投资大、建设周期长、基建程序复杂且工程专业性强等特点,
胚挽救技术在果树育种上的应用研究进展作了综述,并对应用中可能出现的问题,如胚龄、培养基和培养条件等进行了分析,初步提出了胚挽救技术培育果树新种质应用方面的不足和研
拉丁美洲文学早就表明,它具有其他地区文坛少有的活力。从诗歌看,现代主义诗派的形成是它走向成熟的标志。现代主义诗派出现在拉美独立以后特定的历史背景下,思想上它是对长