一种针对智能合约中庞氏骗局的漏洞检测方法及系统

摘要

本发明公开了一种针对智能合约中庞氏骗局的漏洞检测方法及系统，本发明首先根据目标智能合约的字节码，提取它的控制流图和数据流图。然后结合庞氏骗局的特点，其在智能合约中的代码表现包括资金注入、合约转账、分红等操作，在字节码中指令中主要涉及CALL和CALLVALUE指令等，以此总结庞氏骗局合约特征，然后以此构造数据流和控制流约束，最后利用约束求解器对其求解，判断目标合约是否具有庞氏骗局特征，以警醒后续用户调用合约，避免该合约对后续调用者造成金融损失。