pakala:用于以太坊的攻击性漏洞扫描程序以及用于以太坊虚拟机的符号执行工具 源码

帕卡拉 “伊洛Pakala li pakala e mani sona” Pakala是一种在以太坊智能合约中搜索可利用错误的工具。 Pakala是以太坊虚拟机的符号执行引擎。 该工具的目标受众是对以太坊/ EVM感兴趣的安全研究人员。 安装 pip3 install pakala 它仅适用于python 3。 用法 让我们看一下 :它具有transfer(address _to, uint256 _value)函数。 据说它受require(call.value - _value) >= 0但该条件始终成立,因为我们要减去两个无符号整数,因此结果也是一个无符号整数。 让我们对其进行