基于预先执行和类型推断的闭源合约攻击风险确认方法

本发明公开一种基于预先执行和类型推断的闭源合约攻击风险确认方法，该方法在闭源智能合约相关交易出现在区块链网络时触发检测，通过在本地虚拟机中提前部署合约实现预先执行；对合约进行初步筛查，检测可疑特征并优先分析高风险合约；利用类型推断技术恢复智能合约信息，通过模糊测试探索程序状态，在执行过程中收集合约执行特征，最后进行风险评估。本发明通过预先执行与动态类型推断相结合，突破了闭源合约攻击风险确认缺乏源代码和类型信息的技术瓶颈，实现对恶意合约的早期预警和主动防御，为区块链提供安全技术保障。