论文部分内容阅读
对现有二进制程序安全缺陷静态分析方法进行了综述和分析，提出了整个程序分析过程中的关键问题以及二进制程序安全分析的主要研究方向。通过对二进制程序缺陷静态分析流程的总结，发现二进制程序信息恢复是整个分析过程的关键，构造内容丰富的、通用的中间表示是二进制程序缺陷分析的重要研究方向。
二进制程序安全缺陷静态分析方法的研究综述
【摘 要】
：
对现有二进制程序安全缺陷静态分析方法进行了综述和分析，提出了整个程序分析过程中的关键问题以及二进制程序安全分析的主要研究方向。通过对二进制程序缺陷静态分析流程的总
【机 构】
：
中国科学院软件研究所
【出 处】
：
计算机科学
【发表日期】
：
2009年7期
【基金项目】
：
863计划重点项目(2007AA010601);国家自然科学基金(60673022);北京市科委项目(Z08000102000801)资助
其他文献
《帕格尼尼主题狂想曲》与《卜算子》分别是俄罗斯近代音乐家拉赫玛尼诺夫和中国宋代文豪苏轼的两首抒怀咏志的作品。虽然二人在时间、地域和创作风格等方面都相距遥远，但这两
针对学生的“学习信息技术有什么用”这个问题,提出信息技术课堂教学形式以作品教学为主,作品内容通过跨学科选主题的教学设计思路,激发学生学习创作兴趣,体现信息技术课堂的
女性穿着文胸时,文胸底围紧贴人体胸部,直接影响人体呼吸时的难易程度,为了研究文胸底围压力与人体呼吸之间的关系,选择20名在校女大学生穿着合体文胸做深呼吸试验,以文胸底
大数据、＂互联网＋＂时代的到来,使SNS走进教学成为一种不可逆转的新常态。项目教学法PBT是培养实用型人才的一种有效的建构主义教学模式。SNS与PBT的结合,将是解决当前电商类课程
目前建筑施工测绘存在效率低下的问题。通过对目标图像进行灰度变换,以及包括图像校正、对比度展宽、灰度窗切片等图像处理方法对摄像机采集到的建筑外形目标图像边缘进行提
以情感过滤假设理论和人本主义为理论框架，采用阅读测试与问卷调查的方法，对态度和焦虑与专业英语四级考试阅读中四种常见题型之间的相关性进行调查研究，结果显示：学习者的阅读态
为有效推进优质护理服务,提高整体护理质量,将人文关怀应用于儿科护理工作中,不仅是护理技术与人文关怀有机结合,而且是构建和谐护患关系,提高患者满意度的有效途径。
<正>据《浙江农业科学》2019年第11期《不同栽培措施对油桃品质的影响》(作者焦云等)报道,以宁波地区栽培的油桃品种紫金红1号和紫金红2号为试材,在其果实发育期分别实施避雨
对于连通图G,矩阵Q（G）=D（G）＋A（G）称为图G的拟拉普拉斯矩阵,其中D（G）为图的度对角矩阵,A（G）为图的邻接矩阵.本文利用矩阵的一些性质,推导出连通图的拟拉普拉斯谱半径的一个上界.并将该上