Finch

Finch 是 Falcon IL 上的符号执行器。如果它提升到 Falcon IL，则使用 Finch 进行符号执行。

有关 Finch 的介绍，请参阅 这篇博客文章。

构建

Finch 需要与 Falcon 和 falcon-z3 相同的依赖项。在 dockers/ 目录中有一个 Dockerfile，它将为 Finch 创建适当的环境。如果您不想使用 Docker，仍然建议您将 Dockerfile 作为安装依赖项的参考。

lib.rs:

Finch：使用 Falcon 构建的符号执行器