国产一区h_色翁荡息又大又硬又粗又视频图片_91.app_91av手机在线_中文一区二区_亚洲一级黄色片

通过模糊测试实现百万行代码的漏洞挖掘

摘要:在百万行代码的漏洞检测中,大规模程序的模糊测试备受挑战。在有限时间内生成满足输入语法和满足指数路径条件的指令是很困难的,而且触发漏洞的指令比挖掘代码的指令要复杂得多。研究一种高效指令生成方法,采用了强化学习进行语法推理,进行了优化的符号分析,在提高指令生成有效性的基础上,显著减少随机指令的执行时间。同时,对基于成分分析的模糊测试工作流程进行优化,以减小程序的规模,在保证效率的同时,为后期验证省去了不必要的程序片段。成功开发了新的指令生成方法,实现了发现大规模程序中的漏洞的目标。在现有基准上开展了测试,证明了方法的有效性。

关键词:
  • 模糊测试  
  • 指令生成  
  • 语法推理  
  • 符号分析  
作者:
张川; 毛慧; 王忠; 靳冬; 黄河清; 杨尚沅
单位:
香港科技大学网络安全实验室; 中国香港999077; 珠海南方软件网络评测中心; 广东珠海519085; 中国合格评定国家认可中心; 北京100062
刊名:
工业技术创新

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

期刊名称:工业技术创新

工业技术创新杂志紧跟学术前沿,紧贴读者,国内刊号为:10-1231/F。坚持指导性与实用性相结合的原则,创办于2014年,杂志在全国同类期刊中发行数量名列前茅。

主站蜘蛛池模板: 国内精品视频在线观看 | 在线看精品 | 午夜亚洲av日韩av无码大全 | 男女下面一进一出好爽视频 | 激情内射人妻1区2区3区 | 毛片a级毛片免费观看 | 亚洲欧洲高清有无 | 欧美成人精品欧美一级乱黄 | 日韩精品中文字幕一区二区三区 | 99re6在线精品视频免费播放 | 亚洲一区二区高清 | 亚洲国产av无码综合原创国产 | 人妻人人澡人人添人人爽人人玩 | 国产区一区 | 亚洲人成在线精品不卡网 | 日日噜噜夜夜狠狠久久丁香五月 | 亚洲综合图片小说 | 国产精品每日在线观看男人的天堂 | 蜜桃视频在线观看视频 | 麻豆精品人妻一区二区三区蜜桃 | 特黄a级毛片免费视频 | 97久久久久国产精品嫩草影院 | 热久久在线观看 | 一级毛片免费不卡在线视频 | 国产精品嫩草影院人体模特 | 主播福利在线观看 | 国产精品亚洲精品久久成人 | 亚洲 欧美 日韩 综合aⅴ视频 | 国产寡妇树林野战在线播放 | 亚洲色成人四虎在线观看 | 妞干网免费看 | 毛片.| 91视频色版| 日韩在线中文 | 男女肉粗暴进来动态图 | 首页 综合国产 亚洲 丝袜 | 日韩一区二区在线播放 | 三级无码在钱av无码在钱 | 无码任你躁久久久久久老妇 | 成人欧美日韩一区二区三区 | 人妖女天堂视频在线96 |