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的工作流程如下图所示。
论文代码已开源。