AwesomeREA.org

2022 · 会议论文

Fuzzware：利用精确的 MMIO 建模提升固件模糊测试效果

Fuzzware: Using Precise MMIO Modeling for Effective Firmware Fuzzing

Tobias Scharnowski; Nils Bars; Moritz Schloegel; Eric Gustafson; Marius Muench; Giovanni Vigna; Christopher Kruegel; Thorsten Holz; Ali Abbasi

重托管单体 ARM Cortex-M 固件以开展模糊测试，利用局部符号执行为内存映射 I/O 访问建模，使输入变异集中于影响固件逻辑的值。

研究范围与局限

面向 Cortex-M3/M4 的产物需要配置内存映射，且不会自动为 DMA 建模。对硬件的抽象可能产生真实设备上不可能出现的崩溃。该工作构建分析环境，不代表恢复原始源码或忠实重建完整设备。

与本合集的关联

展示如何恢复动态分析所需的执行环境，使固件逻辑能够脱离原始硬件运行。

发表与复核详情

发表载体
USENIX Security 2022
发表状态
会议论文
出版／提交日期
2022 年 8 月
日期依据
采用 USENIX 官方论文集引用中的出版月份，不推定具体出版日。

官方论文集列出页码 1239–1256 和九位作者。未核实论文 DOI 或 arXiv 标识符。Zenodo DOI 10.5281/zenodo.6499215 标识软件产物，并非本论文。产物附录指定 sec22-ae-accepted 版本，并将代码和数据声明为 Apache-2.0；第三方组件仍适用各自条款。

来源复核于

本合集仅做来源复核，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。

一手来源

  1. https://www.usenix.org/conference/usenixsecurity22/presentation/scharnowski
  2. https://www.usenix.org/system/files/sec22-scharnowski.pdf
  3. https://www.usenix.org/system/files/usenixsecurity22-scharnowski.pdf
  4. https://github.com/fuzzware-fuzzer/fuzzware/blob/424fce42bbe0cef3928ae589b8f6bbac666857e1/README.md
  5. https://github.com/fuzzware-fuzzer/fuzzware/blob/424fce42bbe0cef3928ae589b8f6bbac666857e1/LICENSE
  6. https://github.com/fuzzware-fuzzer/fuzzware-experiments/blob/b6462adfa125ae1664077a0aa912c081cfde1c4a/README.md
  7. https://github.com/fuzzware-fuzzer/fuzzware-experiments/blob/b6462adfa125ae1664077a0aa912c081cfde1c4a/LICENSE
  8. https://zenodo.org/records/6499215