一种区块链智能合约语义图的生成方法

一种区块链智能合约语义图的生成方法，可以根据定义的智能合约语义规则实现语义执行过程的状态图，从而在语义验证过程中，提取有效的漏洞信息。本发明包括：定义智能合约的BNF语法和形式语义、与状态存储相关的配置表、函数调用序列，按形式语义规则逐步执行智能合约并生成状态执行序列，从状态执行序列中提取要验证的起始状态和终止状态，按照可达性断言模板形成可达性断言，使用语义验证器对可达性断言进行验证，生成语义图。语义图包括智能合约语义信息、语义控制流信息、语义数据流信息、验证约束信息，可用于漏洞检测分析、符号执行分析。本方法能从形式语义层面展示合约执行过程，发现语义级别的漏洞。