【摘 要】
：
缓冲区溢出漏洞是一类严重的安全性缺陷。目前存在动态测试和静态分析技术来检测缓冲区溢出缺陷:动态测试技术的有效性取决于测试用例的设计,而且往往会引入执行开销;静态分
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,江苏省软件新技术与产业化协同创新中心,南京大学计算机科学与技术系
【基金项目】
：
国家自然科学基金(Nos.91318301,61321491,61472179)资助
论文部分内容阅读
缓冲区溢出漏洞是一类严重的安全性缺陷。目前存在动态测试和静态分析技术来检测缓冲区溢出缺陷:动态测试技术的有效性取决于测试用例的设计,而且往往会引入执行开销;静态分析技术及自动化工具已经被广泛运用于缓冲区溢出缺陷检测中,然而静态分析由于采取了保守的策略,其结果往往包含数量巨大的误报,需要通过进一步人工确认来甄别误报,但人工确认静态分析的结果耗时且容易出错,严重限制了静态分析技术的实用性。符号执行技术使用符号代替实际输入,能系统地探索程序的状态空间并生成高覆盖度的测试用例。本文提出一种基于目标制导符号执行的静
其他文献
无论是什么运动项目,只有具备了强壮和健康的运动员才是可靠的,这些运动员很少在像足球、英式足球、篮球和曲棍球等运动中造成外伤性损伤。例如,一位全面发展的足球运动员,和
“巴特莱法则”也叫“80/20法则”,是由英国社会经济学家巴特菜最早提出来的,其基本意思是:事物的80％的价值集中在20％的组成部分里,“巴特菜法则”对优化体育教学有良好作用。
体操:男子自由操应在50秒到70秒时间完成;女子自由体操应在1分10秒到1分30秒之间。时间不足或超过都扣分。拳击:业余拳击为3个回合,每个回合3分钟,回合中间休息1分钟。职业拳
我亲自汇款,与友人共同订阅今年的《体育教学与训练》共三份,最近经查询,都已分别收到了。尤其直接寄我家中的这份杂志,也已及时送达。起初,我们还耽心会漏寄或邮议。可是,现
采用自行研制的强电流直流伸展电弧等离子体CVD设备对真空渗硼预处理的YG6刀片进行了金刚石涂层沉积,并对放于有效沉积区域不同位置沉积出的金刚石涂层刀片以及刀片自身不同
(一) 游戏名称:各就各位(二至三年级) 目的:培养灵敏反应能力场地器材设置: 在地上划一个直径约3米的小园,绕小园再划一个大园,两园相距约5米。(图一)大园外在地上标记着1～15
为完成体育教学任务,弥补体育课没有教科书的缺陷,在实践中,我认为体育课中运用示教板进行教学是个好办法。所谓运用示教板教学,就是把每堂课的教学内容,如教材名称,教材的重
7月9日至14日,从化县教育局制用学生复习考试期间,组织了专职和兼职体育教师74人进行了业务学习。学习期间传达了全国体育卫生工作会议精神,进一步明确了当前中心工作就是要
目前中学教学班的人数多、器材少、场地窄,因此,组织教学这一环节显得更为重要。现将铅球教学的组织方法介绍如下。1.一列横队投掷队形方法:二列或四列横队站立,面对投掷方向
金刚石六面顶压机的关键零件铰链梁工作中受变载荷作用，易出现疲劳破坏。生产中常依据静强度进行类比设计。应用有限元理论研究铰链梁的疲劳强度，分析铰链梁工作中的应力与变形