公开(公告)号：CN118277284B

公开(公告)日：2024-10-29

申请号：CN202410713333.2

申请日：2024-06-04

Applicant: 华东交通大学

Inventor： 肖美华 ,  许杨萍 ,  陈方平 ,  晏素汾 ,  郭宏 ,  邵怀斌

IPC: G06F11/36 ,  G06F21/57 ,  G06F18/22

Abstract: 本发明涉及一种基于形式化验证的智能合约安全审核系统及方法，本发明集成了输入模块、静态分析模块、形式化验证模块、模拟执行模块以及报告与建议模块，能够在智能合约部署前，通过形式化验证等分析技术，精确地发现智能合约的安全漏洞和逻辑缺陷等问题，从而显著提升其安全性，减少因代码缺陷可能导致的经济损失。本发明大幅度提高了智能合约审核的效率，缩短了开发周期，同时生成易于理解的安全审计报告和提供实用的定制化修复建议，能够帮助开发者改进代码，建立用户信任，为整个区块链生态系统的稳定性和可靠性做出了重要贡献。

公开(公告)号：CN118277284A

公开(公告)日：2024-07-02

申请号：CN202410713333.2

申请日：2024-06-04

Applicant: 华东交通大学

Inventor： 肖美华 ,  许杨萍 ,  陈方平 ,  晏素汾 ,  郭宏 ,  邵怀斌

IPC: G06F11/36 ,  G06F21/57 ,  G06F18/22

Abstract: 本发明涉及一种基于形式化验证的智能合约安全审核系统及方法，本发明集成了输入模块、静态分析模块、形式化验证模块、模拟执行模块以及报告与建议模块，能够在智能合约部署前，通过形式化验证等分析技术，精确地发现智能合约的安全漏洞和逻辑缺陷等问题，从而显著提升其安全性，减少因代码缺陷可能导致的经济损失。本发明大幅度提高了智能合约审核的效率，缩短了开发周期，同时生成易于理解的安全审计报告和提供实用的定制化修复建议，能够帮助开发者改进代码，建立用户信任，为整个区块链生态系统的稳定性和可靠性做出了重要贡献。