论文: SAVIOR以Bug导向的混合模糊测试框架
source link: https://vancir.github.io/savior-bug-driven-hybrid-fuzzing.html
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
SAVIOR以Bug导向的混合模糊测试框架 · Vancir
发布于 2020-10-27
在混合执行有了较大进展的背景下, 针对于漏洞检测场景混合执行的效果并不乐观, 而作者主要认为有两个原因: 首先盲目选择种子用于混合执行以及不加重点地关注所有的代码, 其次就是混合模糊测试注重于让测试过程继续下去而非去检查内部的漏洞缺陷. 于是作者提出了SAVIOR, 它会优先考虑种子的混合执行并验证执行路径上所有易受攻击的程序位置.
说白了, SAVIOR想解决混合模糊测试里乱选种子的行为, 并且希望以Bug为导向去选择种子. 那么具体的策略就是, 在测试前, SAVIOR会静态分析源代码并标记潜在的易受攻击位置. 此外, SAVIOR会计算每个分支可达的基本块集合, 在动态测试期间, SAVIOR优先考虑可以访问更重要分支的种子进行混合执行.
除开上述说的能加快漏洞检测速度, SAVIOR还会验证混合执行引擎遍历过路径上标记的漏洞. 具体就是, SAVIOR综合了各个漏洞路径上的约束, 如果该约束在当前路径条件下可以满足, 那么SAVIOR就会求解该约束以构造输入进行测试. 否则SAVIOR会证明该漏洞在此路径上不可行.
Bug驱动优先级
Bug驱动的关键是找到一个方法去评估某个种子在混合执行时能暴露出的漏洞数量, 这个评估取决于两个先决条件:
- R1 - 种子执行完后评估可访问代码区域的方法
- R2 - 量化代码块中漏洞数量的指标
针对R1, SAVIOR结合动静态分析去评估种子的可探索代码区域. 在编译期间, SAVIOR会从每个分支静态地计算可达的基本块集合, 在运行期间, SAVIOR则会在种子的执行路径上标记未探索的分支, 以及计算这些分支可访问的基本块集合.
针对R2, SAVIOR则是利用UBSan来标注待测程序里的三种潜在的错误类型. 然后将每个代码区域中的标签计算为R2的定量指标. 同时SAVIOR也采用了一些过滤方法来删除UBSan的无用标签.
Bug导向验证
该技术可以确保在到达了漏洞函数路径上能进行可靠的漏洞检测. 从模糊测试处给定种子, SAVIOR会将其执行起来并沿执行路径提取各个漏洞标签. 之后SAVIOR会检查当前路径条件下的可满足性, 满足即漏洞有效.
SAVIOR由多个部分组成: 构建在Clang+LLVM之上的工具链, 基于AFL的Fuzzer, KLEE移植过来的混合执行引擎和负责编排的协调器.
SAVIOR的编译工具链可用于漏洞标记, 控制流的可达性分析以及不同组件的构建.
漏洞标记则是基于UBSan, 当然UBSan有一些不如意的地方, SAVIOR对其进行了一些调整.
可达性分析用于计算CFG中每个基本快可到达的漏洞标签的数量. 它分为两个阶段, 第一步是类似SVF方法去构建过程间CFG, 其首先会为每个函数构建过程内CFG再通过调用关系建立过程间的关系. 为了解决间接调用, 算法会反复执行Andersen的指针分析, 以防止SAVIOR丢失间接调用的函数别名信息, 也使得优先级划分不会漏算漏洞标签数量. 此外通过检查CFG, SAVIOR还提取了基本块和子对象之间的边, 以便后续在协调器的进一步使用. 第二步则是计算过程间CFG中每个基本块可到达的代码区域, 并计算这些区域中UBSan标记的数量, 以此作为该基本块的优先级指标.
组件构建则是去编译三个binary: 一个用于fuzzer的binary, 一个用于协调器的SAVIOR-binary, 一个则是用于混合执行引擎的LLVM bitcode.
协调器则是用于挑选优先级高的种子, 以及一些后续处理. 混合执行引擎则采取了一些策略去解决约束问题.
Recommend
-
85
Smaller phones are much harder to come by these days, regardless of whether you're using Android or iOS. With the Pixel 3 in particular, and the fact that... by Florence Ion in Editorials, Google, Pixel 3
-
61
In a Linux world, whenever your database server crashes or gets terminated, you need to find its cause. There can be several reasons for this....
-
9
软件中的漏洞一直是导致软件工作异常，造成软件崩溃最重要的原因，软件漏洞不仅会造成大量经济损失，有时甚至会引发灾难性的后果，所以...
-
10
以视频测试数据为导向的立项方式 发表于2020-09-09 评论0 2.1k浏览 想免费获取内部独家PPT资...
-
3
Cooking videos were one small savior of 2020 Stuck at home, there was one activity we could all spend time on ...
-
11
VaultFuzzer: 针对Linux内核的状态导向模糊测试工具 matrix (791)发表于 2021年09月13日 2...
-
17
Nephio, the Open Source Savior of Function Hosting Finally, a decade after the concept of NFV was first introduced, we may be on track to creating a useful implementation of function hosting. The Linux Foundation and Goog...
-
6
论文: QSYM应用混合符号执行于模糊测试发布于 2020-10-26传统模糊测试能快速探索输入空间, 但无法很好地进入深层空间, 而混合执行则擅长深...
-
13
Blessed be the Find My app, savior of my lost AirPods ...
-
4
Nuke Experts Are Horrified by Biden’s New ‘Nuclear Posture Review’Some programs are being cut, but the Pentagon document points to a nuclear future.November 3, 2022, 1:00pm
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK