脚本宝典收集整理的这篇文章主要介绍了Proj CMI Paper Reading: HyDiff: Hybrid Differential Software Analysis，脚本宝典觉得挺不错的，现在分享给大家，也给大家做个参考。

Abstract

背景： 差分软件分析的关键挑战是跨程序变体同时推理多个程序路径。 本文： 工具：HyDiff Task：regression and side-channel analysis for Java bytecode PRograms 意义：第⼀个⽤于差分软件分析的混合⽅法 方法：集成并扩展了两种⾮常成功的测试技术：

1. ⽤于有效程序测试、考虑控制流的 divergence-driven feedback导向（带有新cost metrics）灰盒模糊测试：⽤基于资源消耗和控制流信息的发散启发式算法来有效地指导符号探索
2. ⽤于系统程序探索的四路分叉的影⼦符号执行。
3. 引⼊了诸如输出、决策和成本差异以及补丁距离等差异指标，以帮助模糊和符号执行组件最⼤化执行差异

脚本宝典总结

以上是脚本宝典为你收集整理的Proj CMI Paper Reading: HyDiff: Hybrid Differential Software Analysis全部内容，希望文章能够帮你解决Proj CMI Paper Reading: HyDiff: Hybrid Differential Software Analysis所遇到的问题。

如果觉得脚本宝典网站内容还不错，欢迎将脚本宝典推荐好友。

本图文内容来源于网友网络收集整理提供，作为学习参考使用，版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ：384754419，请注明来意。