rea-reverse

blockchain · 2

区块链

检查 EVM 选择器与代理合约,对照字节码和 ABI 证据,并用 REA 继续离线分析智能合约。指南检查选择器、代理行为与验证不匹配。REA 示例从自己用 solc 编译的合约开始,将推断参数与编译器输出核对;推断不能恢复名称和源码。