Metasm和Miasm可以对 Windows 二进制文件执行符号执行。Metasm是用纯 ruby​​ 编写的，没有依赖关系。Miasm是用 python 编写的。您可以在《实用逆向工程》一书中找到上述框架的一些用法。此外，您可以随时 Google 获取更多信息。

这是使用 miasm 进行符号执行的实践示例。