efcf-framework

EF/CF - 极速（以太坊智能）合约模糊测试器 EF/CF 是一种智能合约模糊测试的新方法：它不是使用一个全新的 自定义模糊测试器，而是将现有的 C/C++ 代码模糊测试基础设施重新用于 智能合约。目前，AFL++ 是主要支持的模糊测试器， 尽管对 libfuzzer 和 honggfuzz 也有一些非常基础的支持 。 为什么要使用现有的模糊测试基础设施？ 速度。我们可以更快地模糊测试。我们通常能达到约 20k 次执行/秒/核。 原生代码模糊测试器经过精心设计并高度优化。 具备恰当的覆盖率引导、队列管理、确定性测试用例重放 等功能。 在此过程中我们会遇到哪些问题？...