firmware - 使用 angr 分析固件文件

我想使用angr来分析 IoT 固件文件。我已经阅读了angr的文档，但是我找不到分析固件文件的解决方案。那么angr如何生成Firmware的CFG文件呢？或者我如何用angr作为符号执行来分析固件文件？

标签： firmwarefuzzingangrsymbolic-execution

据我所知，angr不做固件文件分析：它是一个二进制（如二进制可执行文件）分析工具，固件映像不是可执行二进制文件。

那么angr如何生成Firmware的CFG文件呢？

根据我上面的评论，没有固件的 CFG 之类的东西：CFG 是可执行文件中控制流的表示。

如何使用 angr [with] 符号执行来分析固件文件？

同样，遵循同样的困惑： 符号执行是一种动态分析可执行文件的技术。不能“执行”固件映像，更不用说象征性了！

您可能想要做的是使用类似固件模块套件的东西来提取您拥有的固件映像的内容；在此内容中，找到您要测试的可执行文件，然后使用它angr来执行您想要的所有分析！