![](https://img-blog.csdnimg.cn/a27ef6ec7c6c4aa89222ca4cea9a72d1.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
论文阅读
文章平均质量分 92
研究生论文阅读学习
dongliba09
这个作者很懒,什么都没留下…
展开
-
程序自动修复相关工作总结
思维导图原文出处0.背景(1) 传统维护面临成本和维护能力不足问题软件维护占用了软件开发成本的 50%~75%[1],其中,成本消耗最大的就是程序错误定位和修复(2) 不可控条件下无法维护问题由于软件逻辑设计复杂性和运行环境的限制,当软件发生错误时,维护人员可能无法远程修复该类错误.在航天领域中应用的软件系统,当卫星、航天飞船等空间飞行器与地面的通信联络中断时存在不可控的情况.1 程序自动修复描述1.1 相关概念针对各类不同的错误(error)修复场景,将整个修复过程自动原创 2021-10-21 10:03:51 · 1226 阅读 · 1 评论 -
《Hawkeye: Towards a Desired Directed Grey-box Fuzzer》论文阅读
作者会议Hongxu Chen 新加坡南洋理工大学CCS’18ABSTRACT定向灰盒fuzzing背景:灰盒fuzzing测试 (在测试真实世界程序是有效的)转折:现有的灰盒fuzzing方法缺乏导向性本文工作提出了4个定向fuzzer的特性设计要点收集call graph, 函数还有基本块层次到目标的距离在fuzzing的时候,根据静态信息和执行追踪来评估种子,以生成动态度量,然后用于种子优先级,功率调度和自适应突变这些方法帮助Hawkeye...翻译 2021-10-26 17:10:15 · 697 阅读 · 0 评论 -
《NEUZZ Efficient Fuzzing with Neural Program Smoothing》论文阅读
作者会议She, DongdongIEEE SP 2019Abstract第一段背景:介绍Fuzzing问题:现有Fuzzer存在的问题问题原因:现有方法使用遗传算法,在生成触发多种BUG的输入上有用,但是经常被卡在随机的突变序列中问题解决方法:梯度下降算法及梯度下降算法的优点第二段挑战:梯度下降算法难以应用在现实世界中,因为不连续性,可能被高原或者山脊卡住解决方法:通过创建一个平滑的代理函数来拟合程序的离散分支行为本文内...翻译 2021-10-25 20:35:11 · 416 阅读 · 0 评论