论文阅读笔记20230222

DIANE: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices (SP 2021)

在IoT领域，由于提取（Extracting）和模拟（Emulating）固件的难度较大，对其的安全性分析通常使用黑盒Fuzzing的方式，黑盒产生的输入往往不能测试到深层次的代码。另一种方法是使用控制IoT设别的应用来生成相应的结构输入，但这种输入格式通常被应用程序限制，也无法取得更好的效果。

为了解决上述问题，本文提出了Fuzzing Trigger的概念，即在应用程序中可生成输入数据并和IoT设备交互的函数接口。文中的工具DIANE，一个将静态分析和动态分析相结合的工具，专门用于在应用程序中寻找Fuzzing Trigger，并将其用于Fuzzing。

DiAne的工作流程如下图所示。

论文代码已开源。