公开(公告)号：CN112256271B

公开(公告)日：2022-11-29

申请号：CN202011116748.X

申请日：2020-10-19

Applicant: 中国科学院信息工程研究所

Inventor： 王瑜 ,  周启慧 ,  王雅哲 ,  汪晗 ,  范洪端

IPC: G06F8/41 ,  G06F21/56 ,  G06Q40/04

Abstract: 本发明公开了一种基于静态分析的区块链智能合约安全检测系统，包括智能合约预处理程序模块、核心检测引擎模块和检测结果展示模块，通过智能合约预处理程序模块，对合约进行抽象语法树分析和内部调用关系分析，实现对合约函数关联关系的分析；核心检测引擎模块根据非确定性、数据隐私安全和逻辑安全每种风险项的特征，采用包括包检测、指令检测和逻辑检测等，分析得出合约的风险项；最后检测结果通过可视化展示模块呈现给用户。

公开(公告)号：CN112256271A

公开(公告)日：2021-01-22

申请号：CN202011116748.X

申请日：2020-10-19

Applicant: 中国科学院信息工程研究所

Inventor： 王瑜 ,  周启慧 ,  王雅哲 ,  汪晗 ,  范洪端

IPC: G06F8/41 ,  G06F21/56 ,  G06Q40/04

Abstract: 本发明公开了一种基于静态分析的区块链智能合约安全检测系统，包括智能合约预处理程序模块、核心检测引擎模块和检测结果展示模块，通过智能合约预处理程序模块，对合约进行抽象语法树分析和内部调用关系分析，实现对合约函数关联关系的分析；核心检测引擎模块根据非确定性、数据隐私安全和逻辑安全每种风险项的特征，采用包括包检测、指令检测和逻辑检测等，分析得出合约的风险项；最后检测结果通过可视化展示模块呈现给用户。