论文部分内容阅读
摘要:本文首先介绍了符号执行的过程内分析和程序全局分析的基本原理；接着介绍了其中的路径状态空间爆炸、复杂结构语义和操作语义建模及程序全局分析这三个关键技术的难点及相关研究；最后介绍了一些使用符号执行技术开发的研究型工具.本文从基本原理到技术难点,从理论基础到工具,系统全面地展现了符号执行技术.
符号执行技术研究
【摘 要】
：
摘要:本文首先介绍了符号执行的过程内分析和程序全局分析的基本原理；接着介绍了其中的路径状态空间爆炸、复杂结构语义和操作语义建模及程序全局分析这三个关键技术的难点及
【机 构】
：
中国信息安全测评中心南亚 北京 100085
【出 处】
：
第24次全国计算机安全学术交流会
【发表日期】
：
2009年期
其他文献
地热资源具备其他可再生能源无可比拟的优越性,最突出的是其利用系数,它远高于水力发电(约50％),更是风力发电的约3.5倍,是太阳能光伏发电的约5.2倍,再者,地热电力稳定,不受天
会议
在能源危机背景下,近几年来我国开始大力倡导包括地热能在内的可再生能源的发展.在取得巨大经济效益和社会效益的同时,我国在开采和使用地热资源方面与其他发达国家相比,利用
会议
有机会驾驶一辆漫游车在月球表面上穿行,是每个想要成为宇航员的人的梦,如今,虚拟现实头套会把一辆开创性虚拟现实漫游车送上月球的计划有望成为现实。美国卡内基-梅隆大学科
地热公司正越来越多地利用公正的市场和财政部门来投注资金开发他们的项目.同时该产业正在世界许多地方追求新的观念,如热岩和工程地热系统,以及大规模的地热利用.因此他们正
本文分析了Intel的可信执行技术(Trusted Execution Technology,TXT)平台的体系结构,分别从该技术平台的重点模块和平台执行过程两方面作了详细的描述；剖析了该技术存在的一个
在安全方面,虚拟机技术是一把双刃剑.介绍了恶意软件的新分类及虚拟化恶意软件的概念,分析了虚拟化恶意软件的工作原理及其行为活动,针对其独有的特点,给出了基于虚拟化恶意
由于Web服务的集成性和公开性,针对Web应用的攻击呈逐年上升趋势,而最大的威胁来自跨站脚本漏洞.本文介绍了跨站脚本的基本概念以及传统的检测技术,并提出了一种基于模糊测试
会议
针对基于移动Agent的电子商务系统环境,给出了移动Agent交易实体间的信任与信任风险的定义,并对电子商务中的风险问题进行了深入的研究,建立了信任与风险之间的定量关系,以帮
针时目前日益严峻的企业信息资产泄漏问题,构建了一种基于基于可信隔离运行环境的信息资产保护系统,采用本地虚拟化技术实现工作环境与宿主机的运行环境安全隔离,确保核心信
会议
目前在OLAP中生成物化视图的聚集查询主要是在RDBMS上进行,在面对高速数据流时,RDBMS难以实时生成物化视图.提出了一个面向数据流的多维数据分析系统,对高速数据流在数据流管
会议