CN112256271A - 一种基于静态分析的区块链智能合约安全检测系统 - Google Patents

一种基于静态分析的区块链智能合约安全检测系统 Download PDF

Info

Publication number
CN112256271A
CN112256271A CN202011116748.XA CN202011116748A CN112256271A CN 112256271 A CN112256271 A CN 112256271A CN 202011116748 A CN202011116748 A CN 202011116748A CN 112256271 A CN112256271 A CN 112256271A
Authority
CN
China
Prior art keywords
detection
contract
package
intelligent contract
analysis
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN202011116748.XA
Other languages
English (en)
Other versions
CN112256271B (zh
Inventor
王瑜
周启慧
王雅哲
汪晗
范洪端
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Institute of Information Engineering of CAS
Original Assignee
Institute of Information Engineering of CAS
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Institute of Information Engineering of CAS filed Critical Institute of Information Engineering of CAS
Priority to CN202011116748.XA priority Critical patent/CN112256271B/zh
Publication of CN112256271A publication Critical patent/CN112256271A/zh
Application granted granted Critical
Publication of CN112256271B publication Critical patent/CN112256271B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/40Transformation of program code
    • G06F8/41Compilation
    • G06F8/42Syntactic analysis
    • G06F8/427Parsing
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55Detecting local intrusion or implementing counter-measures
    • G06F21/56Computer malware detection or handling, e.g. anti-virus arrangements
    • G06F21/562Static detection
    • G06F21/563Static detection by source code analysis
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Computer Security & Cryptography (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Finance (AREA)
  • Accounting & Taxation (AREA)
  • General Health & Medical Sciences (AREA)
  • Virology (AREA)
  • Health & Medical Sciences (AREA)
  • Development Economics (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Strategic Management (AREA)
  • Technology Law (AREA)
  • General Business, Economics & Management (AREA)
  • Stored Programmes (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

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

Description

一种基于静态分析的区块链智能合约安全检测系统
技术领域
本发明属于信息安全中的安全检测技术领域,具体涉及一种为基于静态分析的区块链智能合约安全检测系统。
背景技术
随着比特币、以太坊的广为人知,区块链被视为一种强大的技术,广泛地影响着多个领域,越来越多的研究机构关注区块链技术的演进以及在不同应用场景下的实际落地,如金融货币、供应链、身份认证等。智能合约则是运行在区块链之上的核心构成要素之一。智能合约本质是一段计算机程序,通过区块链网络上的事件触发,实现非信任方之间的共识在满足一定条件下自动执行。智能合约将改造传统的业务流程,实现可靠安全地控制和管理链上传递的数据、资产等。目前基于联盟链框架智能合约正处于上升趋势,合约开发趋向于与上层应用的结合,在全网催生了十分丰富的“去中心化”应用生态,基于Fabric的智能合约正在为多行业、大规模的应用尤其是商业化应用赋能。
目前联盟架构的最具代表性Fabric支持多种当前流行的通用高级语言来开发智能合约,如Golang。Fabric支持通用语言的特性为开发人员提供了很大的逻辑处理灵活性,大大降低了开发的成本。通用语言在方便开发人员开发合约的同时,也淡化了合约与普通程序间的界限。由于通用语言并不是为智能合约而专门设计的,通用语言开发者可能忽略与智能合约机制相关的特性,又或者由于开发者水平不一而导致合约质量良莠不齐,容易使开发完成智能合约引入安全风险。而当前通用语言自身的开发和审计工具并不能识别所有与合约相关的安全风险。
发明内容
本发明技术解决问题:本发明旨在为联盟架构的最具代表性Fabric智能合约提供安全检测,使得运行在区块链上的智能合约更加安全可靠。本发明基于静态分析的区块链智能合约安全检测系统,首先利用合约预处理程序,对合约文件解析其语法树、包依赖、函数依赖等信息,为后续操作提供基础内容;其次利用核心检测引擎,对Fabric智能合约三大安全风险的代码特征形成特征库,并设计包检测、指令检测、逻辑检测等方法,通过匹配特征库以确定风险项及其风险位置;最后通过前端可视化模块,向用户提供可视化的检测报告,包括风险项描述与风险位置,以及消除风险项的相关指导建议,从而及时发现合约安全问题,保证合约的安全性、可靠性。
本发明技术解决方案:本发明通过智能合约预处理程序,对合约进行抽象语法树分析和内部调用关系分析,实现对合约函数关联关系的分析;核心检测引擎根据非确定性、数据隐私安全和逻辑安全每种风险项的特征,采用包括包检测、指令检测和逻辑检测等,分析得出合约的风险项;最后检测结果通过可视化展示模块呈现给用户。
本发明提出一种基于静态分析的区块链智能合约安全检测系统,包括智能合约预处理程序模块、核心检测引擎模块和检测结果展示模块,包括:
智能合约预处理程序模块:用于验证智能合约源代码的静态语法合法性,包括:验证不对称代码块括号错误、结构体标签格式错误、无效代码错误,验证通过后将合约源代码解析为一系列静态结构,包括抽象语法树、包依赖关系、函数调用关系,为后续智能合约核心检测引擎模块提供基础分析数据;
智能合约核心检测引擎模块:用于首先把每个合约安全风险项抽象为静态结构特征形成特征库,包括非确定性特征库、数据隐私安全特征库和逻辑安全特征库;其次采用包检测、指令检测和逻辑检测将预处理程序模块所得到的源代码静态结构与特征库检测匹配;最后根据匹配情况得到合约合法性检测结果;
智能合约检测结果展示模块:用于将合约核心检测引擎模块获得的检测结果的合法性,生成可下载至本地的合约检测报告并将检测结果可视化,以及在线查看有风险项的源代码文件以及高亮显示的风险代码行,提供直观的检测结果展示。
进一步的,智能合约核心检测引擎模块语法检验合法性后,采用基于抽象语法树分析法和内部调用关系分析法对智能合约源代码进行静态结构分析,获得智能合约抽象语法树、包依赖关系图和函数调用关系图等静态结构;所述内部调用关系分析法包括包依赖关系分析法和函数依赖关系分析法。
进一步的,抽象语法树分析法采用基于合约编译器的词法分析与语法分析,完成对合约源代码语法树的解析,其中词法分析是对源代码的字符串序列解析,并转换成词语序列;语法分析基于语法库并根据合约语法规则定义,将词语序列转化为抽象语法树结构AST;该智抽象语法树结构以整个文件为根节点,自上而下描述文件中不同层级的语法结构。
进一步的,所述包依赖分析法采用基于中间码解析获得合约源代码所引入的包间依赖关系,中间码生成过程即由抽象语法树翻译到中间码的过程,基于通用语言中间码的静态单赋值特性,使得生成的包依赖逻辑关系清晰可查;
整个分析过程从智能合约源程序开始,源程序视为最顶层的包,自上而下依次递归地读取依赖包信息,构建链码的包依赖关系,其中,level为当前依赖层数,maxLevel为设置的依赖最大层数;在构建智能合约包依赖关系时,分析包括智能合约源代码开始的3层包依赖关系,即maxLevel设置的依赖最大层数为3。
进一步的,所述分析包依赖关系进一步包括:
a.加载智能合约源代码,设置level当前依赖层数为0,maxLevel依赖最大层数为3,记录为智能合约依赖包的根节点;
b.提取通用语言中间码中的引用import,设置level当前依赖层数为1,并记录当前根节点的子节点N;
c.依次递归地对各个包引用import解析依赖,判断level是否小于maxLevel,若小于maxLevel值则将level当前依赖层数自加1,并记录当前子节点的子节点N’,并继续执行c;若大于maxLevel值则执行结束,获得最终的包依赖关系图。
进一步的,所述函数依赖分析借助源代码的中间码的静态单赋值特性,根据基于包含的指针分析构建函数调用关系,并对生成的函数调用关系进行筛选,得到智能合约中函数调用关系图;具体的,
首先基于通用语言的指针库构建最原始基于中间码的函数调用图Callgraph;其次采用深度优先的方式遍历原始调用图Callgraph中每条调用边,按照对后续安全检测有用规则,判断每个调用边上的调用函数Caller与被调用函数Callee是否满足规则,若调用边符合规则,则将该调用边上的调用函数Caller与被调用函数Callee添加到函数调用关系图集合中,依次重复执行构造出智能合约内部全部的函数调用关系图。
进一步的,所述智能合约核心检测引擎模块采用包检测,首先通过深度遍历算法对包依赖关系图进行检测搜索,判定引用import关键字所定义的标准库或外部包是否在特征库的黑名单、建议库和忽略库内;其中黑名单包括标准库黑名单和接入外部库黑名单,建议库包括如crypo/md5,crypo/des,忽略库包括以github.com/hyperledger为前缀的库;
其次,对于检测到黑名单中的包引用,判断包引用所处依赖的层数;若该包引用处在包依赖关系图的第三依赖层,则认为该包引用与智能合约的逻辑关联性已经不大可直接忽略;若该包引用处在包依赖关系图的第一、二依赖层,则判断存在安全风险并标注;若检测到包引用处在包依赖的第一层且未使用建议库中的包,则给出意见询问是否需要加密让数据更加安全;
最后,收集整理检测结果反馈给可视化检测结果展示模块,该包检测主要完成对随机数生成、获取系统时间、访问文件系统或执行命令、引入第三方库和未对敏感数据加密安全风险项的检测。
进一步的,所述智能合约核心检测引擎模块采用指令检测,首先通过树深度遍历算法对抽象语法树进行检测搜索,检测抽象语法树节点特征是否与特征库匹配来判定风险项及定位风险项;其次,对与检测到抽象语法树节点特征与特征库匹配,则该节点对应的源代码存在安全风险并标注,包括:通过读取全局变量、智能合约结构体中声明变量、遍历Map结构、并发程序等在语法树中变量、结构体、range语句以及节点信息特征,判断所属风险及定位风险位置;通过读取对链调用、隐私数据存取等函数节点的信息,判断所属风险及定位风险位置;最后,收集整理检测结果反馈给可视化检测结果展示模块;该指令检测主要完成对定义全局变量、合约结构体中声明变量、遍历Map结构、程序并发、跨链合约调用和未利用隐私数据机制的安全风险项的检测。
进一步的,所述智能合约核心检测引擎模块采用逻辑检测,首先通过深度遍历算法对函数调用关系图进行检测搜索函数调用路径特征是否与特征库匹配来判定风险项及定位风险项;其次,对与检测到函数调用路径特征与特征库匹配,则该节点对应的源代码存在安全风险并标注,如不可重复执行的数据查询检测需要在函数调用关系图中,确认是否存在由反射函数Invoke到数据范围查询函数的调用路径;若路径存在,则判定存在该风险项及定位风险项;读写不一致风险也同样检测函数调用关系图中,对数据状态的读取以及写入操作生成“反向调用关系树”,树结构中存在相同父节点,判定存在该风险项及定位风险项;最后,收集整理检测结果反馈给可视化检测结果展示模块;该逻辑检测完成对不可重复执行的数据查询和读写不一致的安全风险项的检测。
进一步的,所述可视化检测结果展示模块,首先通过分布式WEB节点组成基于区块链的分布式展示网络,将从合约核心检测引擎模块获得的检测结果通过共识机制存储在分布式展示网络账本共享;其次,通过编写智能合约实现分布式的下载至本地的合约检测报告并将检测结果可视化;最后,将展示结果的所有操作记录存储在分布式账本上,保证可审计追溯。
本发明与现有技术相比,具有以下显著优点:
(1)本发明通过基于静态分析的区块链智能合约安全检测使系统具有识别所有与智能合约自有特点相关的安全风险,保证合约后续运行的安全性、可靠性。
(2)本发明可为智能合约开发者提出可视化开发指导建议,为智能合约提供运行前的安全保障。
附图说明
图1本发明的系统总体框架;
图2基于抽象语法树和内部调用关系分析的智能合约预处理程序流程框图;
图3基于Golang语言所开发Fabric智能合约的抽象语法树结构图;
图4基于中间码解析的包依赖关系图生成流程图;
图5基于中间码解析的包依赖关系示例图;
图6基于中间码和深度边遍历解析的函数关系图生成流程图;
图7基于包检测、指令检测和逻辑检测与特征库自动化匹配的智能合约核心检模型图;
图8基于分布式WEB工作流结构的可视化检测结果展示模型图。
具体实施方式
为使本发明的目的、优点以及技术方案更加清楚明白,以下通过具体实施,并结合附图,对本发明进一步详细说明。
对于图1是本发明基于静态分析的区块链智能合约安全检测系统的系统框图,包括智能合约预处理程序模块、核心检测引擎模块和检测结果展示模块。概括来说,一是智能合约的开发者将合约源代码上传至程序预处理模块,生成代码静态结构;二是代码静态结构自动化输入核心检测引擎模块,采用特征匹配检测合约安全问题;三是基于分布式WEB工作流结构的将检测结果可视化呈现给开发者,安全规范的指导合约开发者进行合约开发。
根据本发明的一个实施例,所述智能合约预处理程序模块用于基于抽象语法树和内部调用关系分析,如图2所示,该模块主要是完成对智能合约源代码的合法性进行检测,首先对开发者上传的打包后智能合约源代码zip压缩包进行包文件完整性检验;其次包完整性检验通过后,采用基于分析器列表的自定义语法检查,对包含的合约文件检验语法的合法性,如检验不对称的代码块括号、结构体标签格式错误、无效代码等;最后语法检验合法性后,采用基于抽象语法树分析法和内部调用关系分析法(包括包依赖关系分析法和函数依赖关系分析法)对智能合约源代码进行静态结构分析,获得智能合约抽象语法树、包依赖关系图和函数调用关系图等静态结构。其中智能合约抽象语法树分析法、包依赖关系分析法和函数依赖关系分析法具体实施过程如下所示。
(1)智能合约抽象语法树解析采用基于合约编译器的词法分析与语法分析,完成对合约源代码语法树的解析。其中词法分析是对源代码的字符串序列解析,并转换成词语序列(简称Token序列)。语法分析基于语法库并根据合约语法规则定义,将Token序列转化为抽象语法树结构AST(Abstract Syntax Tree,AST)。该智抽象语法树结构以整个文件为根节点,自上而下描述文件中不同层级的语法结构,如包声明、顶层变量及函数定义、包依赖声明等。如图3所示,检测目标以Golang语言所开发的Fabric合约为例说明,其中Golang语言采用自下而上的输入流方式来构造抽象语法树结构AST,即从子树构造起,逐步向上合并,组装成一颗完整的树。抽象语法树中每个节点都有其详细的结构体声明与定义,分别代表源代码位置、与其他结构的关系等。
(2)包依赖分析解析采用基于中间码解析获得合约源代码所引入的包间依赖关系。通常为了适应多种平台环境,智能合约会采用跨平台通用语言(如Golang语言)来编写,在语言编译过程都具有中间码生成过程,使得通用语言编写合约能够运行在不同的机器中。中间码生成过程即由抽象语法树翻译到中间码的过程,基于通用语言中间码的静态单赋值特性,使得生成的包依赖逻辑关系清晰可查。
如图4所示,整个分析过程从智能合约源程序开始,源程序视为最顶层的包,自上而下依次递归地读取依赖包信息,构建链码的包依赖关系,其中,level为当前依赖层数,maxLevel为设置的依赖最大层数。根据统计发现,自智能合约源程序开始向下读取依赖时,通常在第3层即会读取到通用语言的标准库,之后则读取到通用语言环境中与编译或计算相关的底层库依赖。因此在构建智能合约包依赖关系时,分析包括智能合约源代码开始的3层包依赖关系,即maxLevel设置的依赖最大层数为3。如图5具体实现过程如下:
a.加载智能合约源代码,设置level当前依赖层数为0,maxLevel依赖最大层数为3,记录为智能合约依赖包的根节点;
b.提取通用语言中间码中的引用import,设置level当前依赖层数为1,并记录当前根节点的子节点N
c.依次递归地对各个包引用import解析依赖,判断level是否小于maxLevel,若小于maxLevel值则将level当前依赖层数自加1,并记录当前子节点的子节点N’,并继续执行c;若大于maxLevel值则执行结束,获得最终的包依赖关系图。
(3)函数依赖分析主要借助源代码的中间码的静态单赋值特性,根据基于包含的指针分析构建函数调用关系,并对生成的函数调用关系进行筛选,得到智能合约中函数调用关系图。原始函数调用图中包含大量包括底层库在内的调用逻辑,为了提取图中对后续安全检测有用的调用关系,如图6所示,首先基于通用语言的指针库(如Golang语言的pointer库)构建最原始基于中间码的函数调用图Callgraph;其次采用深度优先的方式遍历原始调用图Callgraph中每条调用边,按照对后续安全检测有用规则(该规则可为如排除shim、peer等智能合约固定引入包相关的调用关系和排除底层库调用的逻辑等,关注合约内定义和使用的函数),判断每个调用边上的调用函数Caller与被调用函数Callee是否满足规则,若调用边符合规则,则将该调用边上的调用函数Caller与被调用函数Callee添加到函数调用关系图集合中,依次重复执行构造出智能合约内部全部的函数调用关系图。
根据本发明的一个实施例,核心检测引擎模块用于进行包检测、指令检测和逻辑检测及特征库自动化匹配,如图7所示,该模型首先把每个合约安全风险项抽象为静态结构特征形成特征库,包括非确定性特征库(如随机数生成、获取系统时间、访问文件系统或执行命令、引入第三方库、定义全局变量、合约结构体中声明变量、程序并发和遍历Map结构等)、数据隐私安全特征库(如跨链合约调用、未利用隐私数据机制、和未对敏感数据加密等)和逻辑安全特征库(如不可重复执行的数据查询和读写不一致等);其次采用包检测、指令检测和逻辑检测将预处理程序模块所得到的源代码静态结构与特征库检测匹配;最后根据匹配情况得到合约合法性检测结果。其中包检测、指令检测和逻辑检测具体实施过程如下所示。
(1)包检测首先通过深度遍历算法对包依赖关系图进行检测搜索,判定引用import关键字所定义的标准库或外部包是否在特征库的黑名单、建议库和忽略库内。其中黑名单包括标准库黑名单(如crypto/rand、math/rand、time.Date,time.Now,os/exec、os、net/http等标准库)和接入外部库黑名单(如非标准库且引用路径不以hyperledger或golang开头的外包库),建议库包括如crypo/md5,crypo/des等,忽略库包括如以github.com/hyperledger为前缀的库。其次,对于检测到黑名单中的包引用,还需判断包引用所处依赖的层数。若该包引用处在包依赖关系图的第三依赖层,则认为该包引用与智能合约的逻辑关联性已经不大可直接忽略;若该包引用处在包依赖关系图的第一、二依赖层,则判断存在安全风险并标注;若检测到包引用处在包依赖的第一层且未使用建议库中的包,则给出意见询问是否需要加密让数据更加安全。最后,收集整理检测结果反馈给可视化检测结果展示模块。该包检测主要完成对随机数生成、获取系统时间、访问文件系统或执行命令、引入第三方库和未对敏感数据加密等安全风险项的检测。
(2)指令检测采用首先通过树深度遍历算法对抽象语法树进行检测搜索,检测抽象语法树节点特征是否与特征库匹配来判定风险项及定位风险项;其次,对与检测到抽象语法树节点特征与特征库匹配,则该节点对应的源代码存在安全风险并标注,如通过读取全局变量、智能合约结构体中声明变量、遍历Map结构、并发程序等在语法树中变量、结构体、range语句以及节点信息特征,判断所属风险及定位风险位置;通过读取对链调用、隐私数据存取等函数节点的信息,判断所属风险及定位风险位置。最后,收集整理检测结果反馈给可视化检测结果展示模块。该指令检测主要完成对定义全局变量、合约结构体中声明变量、遍历Map结构、程序并发、跨链合约调用和未利用隐私数据机制等安全风险项的检测。
(3)逻辑检测采用首先通过深度遍历算法对函数调用关系图进行检测搜索函数调用路径特征是否与特征库匹配来判定风险项及定位风险项;其次,对与检测到函数调用路径特征与特征库匹配,则该节点对应的源代码存在安全风险并标注,如不可重复执行的数据查询检测需要在函数调用关系图中,确认是否存在由反射函数Invoke到数据范围查询函数的调用路径。若路径存在,则判定存在该风险项及定位风险项;读写不一致风险也同样检测函数调用关系图中,对数据状态的读取以及写入操作生成“反向调用关系树”,树结构中存在相同父节点,判定存在该风险项及定位风险项。最后,收集整理检测结果反馈给可视化检测结果展示模块。该逻辑检测主要完成对不可重复执行的数据查询和读写不一致等安全风险项的检测。
根据本发明的一个实施例,可视化检测结果展示模型模块基于分布式WEB工作流进行可视化展示,如图8所示,该模型主要是将合约核心检测引擎模块获得的检测结果,通过分布式WEB工作流程的模式,生成可下载至本地的合约检测报告并将检测结果可视化,可在线查看有风险项的源代码文件以及高亮显示的风险代码行,提供最直观的检测结果展示。
首先通过分布式WEB节点组成基于区块链的分布式展示网络,将从合约核心检测引擎模块获得的检测结果通过共识机制存储在分布式展示网络账本共享;其次,通过编写智能合约(可被分布式WEB节点调用执行的运行在区块链上的代码)实现分布式的下载至本地的合约检测报告并将检测结果可视化。最后,将展示结果的所有操作记录存储在分布式账本上,保证可审计追溯。
尽管上面对本发明说明性的具体实施方式进行了描述,以便于本技术领域的技术人员理解本发明,且应该清楚,本发明不限于具体实施方式的范围,对本技术领域的普通技术人员来讲,只要各种变化在所附的权利要求限定和确定的本发明的精神和范围内,这些变化是显而易见的,一切利用本发明构思的发明创造均在保护之列。

Claims (10)

1.一种基于静态分析的区块链智能合约安全检测系统,包括智能合约预处理程序模块、核心检测引擎模块和检测结果展示模块,其特征在于:
智能合约预处理程序模块:用于验证智能合约源代码的静态语法合法性,包括:验证不对称代码块括号错误、结构体标签格式错误、无效代码错误,验证通过后将合约源代码解析为一系列静态结构,包括抽象语法树、包依赖关系、函数调用关系,为后续智能合约核心检测引擎模块提供基础分析数据;
智能合约核心检测引擎模块:用于首先把每个合约安全风险项抽象为静态结构特征形成特征库,包括非确定性特征库、数据隐私安全特征库和逻辑安全特征库;其次采用包检测、指令检测和逻辑检测将预处理程序模块所得到的源代码静态结构与特征库检测匹配;最后根据匹配情况得到合约合法性检测结果;
智能合约检测结果展示模块:用于将合约核心检测引擎模块获得的检测结果的合法性,生成可下载至本地的合约检测报告并将检测结果可视化,以及在线查看有风险项的源代码文件以及高亮显示的风险代码行,提供直观的检测结果展示。
2.根据权利要求1所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于:
智能合约核心检测引擎模块语法检验合法性后,采用基于抽象语法树分析法和内部调用关系分析法对智能合约源代码进行静态结构分析,获得智能合约抽象语法树、包依赖关系图和函数调用关系图等静态结构;所述内部调用关系分析法包括包依赖关系分析法和函数依赖关系分析法。
3.根据权利要求2所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于:
抽象语法树分析法采用基于合约编译器的词法分析与语法分析,完成对合约源代码语法树的解析,其中词法分析是对源代码的字符串序列解析,并转换成词语序列;语法分析基于语法库并根据合约语法规则定义,将词语序列转化为抽象语法树结构AST;该智抽象语法树结构以整个文件为根节点,自上而下描述文件中不同层级的语法结构。
4.根据权利要求2所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于:
所述包依赖分析法采用基于中间码解析获得合约源代码所引入的包间依赖关系,中间码生成过程即由抽象语法树翻译到中间码的过程,基于通用语言中间码的静态单赋值特性,使得生成的包依赖逻辑关系清晰可查;
整个分析过程从智能合约源程序开始,源程序视为最顶层的包,自上而下依次递归地读取依赖包信息,构建链码的包依赖关系,其中,level为当前依赖层数,maxLevel为设置的依赖最大层数;在构建智能合约包依赖关系时,分析包括智能合约源代码开始的3层包依赖关系,即maxLevel设置的依赖最大层数为3。
5.根据权利要求4所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于,所述分析包依赖关系进一步包括:
a.加载智能合约源代码,设置level当前依赖层数为0,maxLevel依赖最大层数为3,记录为智能合约依赖包的根节点;
b.提取通用语言中间码中的引用import,设置level当前依赖层数为1,并记录当前根节点的子节点N;
c.依次递归地对各个包引用import解析依赖,判断level是否小于maxLevel,若小于maxLevel值则将level当前依赖层数自加1,并记录当前子节点的子节点N’,并继续执行c;若大于maxLevel值则执行结束,获得最终的包依赖关系图。
6.根据权利要求4所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于:
所述函数依赖分析借助源代码的中间码的静态单赋值特性,根据基于包含的指针分析构建函数调用关系,并对生成的函数调用关系进行筛选,得到智能合约中函数调用关系图;具体的,
首先基于通用语言的指针库构建最原始基于中间码的函数调用图Callgraph;其次采用深度优先的方式遍历原始调用图Callgraph中每条调用边,按照对后续安全检测有用规则,判断每个调用边上的调用函数Caller与被调用函数Callee是否满足规则,若调用边符合规则,则将该调用边上的调用函数Caller与被调用函数Callee添加到函数调用关系图集合中,依次重复执行构造出智能合约内部全部的函数调用关系图。
7.根据权利要求1所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于:
所述智能合约核心检测引擎模块,采用包检测首先通过深度遍历算法对包依赖关系图进行检测搜索,判定引用import关键字所定义的标准库或外部包是否在特征库的黑名单、建议库和忽略库内;其中黑名单包括标准库黑名单和接入外部库黑名单,建议库包括如crypo/md5,crypo/des,忽略库包括以github.com/hyperledger为前缀的库;
其次,对于检测到黑名单中的包引用,判断包引用所处依赖的层数;若该包引用处在包依赖关系图的第三依赖层,则认为该包引用与智能合约的逻辑关联性已经不大可直接忽略;若该包引用处在包依赖关系图的第一、二依赖层,则判断存在安全风险并标注;若检测到包引用处在包依赖的第一层且未使用建议库中的包,则给出意见询问是否需要加密让数据更加安全;
最后,收集整理检测结果反馈给可视化检测结果展示模块,该包检测主要完成对随机数生成、获取系统时间、访问文件系统或执行命令、引入第三方库和未对敏感数据加密安全风险项的检测。
8.根据权利要求1所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于:
所述智能合约核心检测引擎模块采用指令检测,首先通过树深度遍历算法对抽象语法树进行检测搜索,检测抽象语法树节点特征是否与特征库匹配来判定风险项及定位风险项;其次,对与检测到抽象语法树节点特征与特征库匹配,则该节点对应的源代码存在安全风险并标注,包括:通过读取全局变量、智能合约结构体中声明变量、遍历Map结构、并发程序等在语法树中变量、结构体、range语句以及节点信息特征,判断所属风险及定位风险位置;通过读取对链调用、隐私数据存取等函数节点的信息,判断所属风险及定位风险位置;最后,收集整理检测结果反馈给可视化检测结果展示模块;该指令检测主要完成对定义全局变量、合约结构体中声明变量、遍历Map结构、程序并发、跨链合约调用和未利用隐私数据机制的安全风险项的检测。
9.根据权利要求1所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于:
所述智能合约核心检测引擎模块采用逻辑检测,首先通过深度遍历算法对函数调用关系图进行检测搜索函数调用路径特征是否与特征库匹配来判定风险项及定位风险项;其次,对与检测到函数调用路径特征与特征库匹配,则该节点对应的源代码存在安全风险并标注,如不可重复执行的数据查询检测需要在函数调用关系图中,确认是否存在由反射函数Invoke到数据范围查询函数的调用路径;若路径存在,则判定存在该风险项及定位风险项;读写不一致风险也同样检测函数调用关系图中,对数据状态的读取以及写入操作生成“反向调用关系树”,树结构中存在相同父节点,判定存在该风险项及定位风险项;最后,收集整理检测结果反馈给可视化检测结果展示模块;该逻辑检测完成对不可重复执行的数据查询和读写不一致的安全风险项的检测。
10.根据权利要求1所述的一种基于静态分析的区块链智能合约安全检测系统,其特征在于:
所述可视化检测结果展示模块,首先通过分布式WEB节点组成基于区块链的分布式展示网络,将从合约核心检测引擎模块获得的检测结果通过共识机制存储在分布式展示网络账本共享;其次,通过编写智能合约实现分布式的下载至本地的合约检测报告并将检测结果可视化;最后,将展示结果的所有操作记录存储在分布式账本上,保证可审计追溯。
CN202011116748.XA 2020-10-19 2020-10-19 一种基于静态分析的区块链智能合约安全检测系统 Active CN112256271B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011116748.XA CN112256271B (zh) 2020-10-19 2020-10-19 一种基于静态分析的区块链智能合约安全检测系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011116748.XA CN112256271B (zh) 2020-10-19 2020-10-19 一种基于静态分析的区块链智能合约安全检测系统

Publications (2)

Publication Number Publication Date
CN112256271A true CN112256271A (zh) 2021-01-22
CN112256271B CN112256271B (zh) 2022-11-29

Family

ID=74245381

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011116748.XA Active CN112256271B (zh) 2020-10-19 2020-10-19 一种基于静态分析的区块链智能合约安全检测系统

Country Status (1)

Country Link
CN (1) CN112256271B (zh)

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115037512A (zh) * 2022-04-27 2022-09-09 中国科学院信息工程研究所 面向以太坊公有链智能合约的形式化静态分析方法及装置
CN115994363A (zh) * 2023-03-24 2023-04-21 北京邮电大学 基于多维度安全检测的区块链安全性评估方法及装置
CN116204594A (zh) * 2023-05-05 2023-06-02 中国民航信息网络股份有限公司 一种基于区块链的数据处理方法、装置及设备
CN117952634A (zh) * 2024-03-26 2024-04-30 国网湖北省电力有限公司电力科学研究院 一种电力行业源端碳数据可信评级方法及系统

Citations (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101482847A (zh) * 2009-01-19 2009-07-15 北京邮电大学 一种基于安全漏洞缺陷模式的检测方法
CN108985073A (zh) * 2018-07-18 2018-12-11 成都链安科技有限公司 一种高度自动化的智能合约形式化验证系统及方法
CN109063477A (zh) * 2018-07-18 2018-12-21 成都链安科技有限公司 一种自动化的智能合约代码缺陷检测系统和方法
EP3444997A1 (de) * 2017-08-18 2019-02-20 Siemens Aktiengesellschaft Vorrichtungen zum bereitstellen einer menge von kryptographisch geschützten und gefilterten sowie sortierten transaktionsdatensätzen eines gliedes einer blockkette
CN109375899A (zh) * 2018-09-25 2019-02-22 杭州趣链科技有限公司 一种形式验证Solidity智能合约的方法
US20190080392A1 (en) * 2017-03-08 2019-03-14 Ip Oversight Corporation Method for creating commodity assets from unrefined commodity reserves utilizing blockchain and distributed ledger technology
CN109523383A (zh) * 2018-10-30 2019-03-26 广州斯拜若科技有限公司 一种智能合约转换系统及方法
CN109684838A (zh) * 2018-11-23 2019-04-26 电子科技大学 一种针对以太坊智能合约的静态代码审计系统及方法
CN109933991A (zh) * 2019-03-20 2019-06-25 杭州拜思科技有限公司 一种智能合约漏洞检测的方法、装置
WO2019155462A1 (en) * 2018-02-08 2019-08-15 Valid Network Ltd Code conversion method and system
CN110309660A (zh) * 2019-07-09 2019-10-08 佛山市伏宸区块链科技有限公司 一种智能合约代码的自动化审计系统及方法

Patent Citations (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101482847A (zh) * 2009-01-19 2009-07-15 北京邮电大学 一种基于安全漏洞缺陷模式的检测方法
US20190080392A1 (en) * 2017-03-08 2019-03-14 Ip Oversight Corporation Method for creating commodity assets from unrefined commodity reserves utilizing blockchain and distributed ledger technology
EP3444997A1 (de) * 2017-08-18 2019-02-20 Siemens Aktiengesellschaft Vorrichtungen zum bereitstellen einer menge von kryptographisch geschützten und gefilterten sowie sortierten transaktionsdatensätzen eines gliedes einer blockkette
WO2019155462A1 (en) * 2018-02-08 2019-08-15 Valid Network Ltd Code conversion method and system
CN108985073A (zh) * 2018-07-18 2018-12-11 成都链安科技有限公司 一种高度自动化的智能合约形式化验证系统及方法
CN109063477A (zh) * 2018-07-18 2018-12-21 成都链安科技有限公司 一种自动化的智能合约代码缺陷检测系统和方法
CN109375899A (zh) * 2018-09-25 2019-02-22 杭州趣链科技有限公司 一种形式验证Solidity智能合约的方法
CN109523383A (zh) * 2018-10-30 2019-03-26 广州斯拜若科技有限公司 一种智能合约转换系统及方法
CN109684838A (zh) * 2018-11-23 2019-04-26 电子科技大学 一种针对以太坊智能合约的静态代码审计系统及方法
CN109933991A (zh) * 2019-03-20 2019-06-25 杭州拜思科技有限公司 一种智能合约漏洞检测的方法、装置
CN110309660A (zh) * 2019-07-09 2019-10-08 佛山市伏宸区块链科技有限公司 一种智能合约代码的自动化审计系统及方法

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
O. CHOUDHURY等: "Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules", 《018 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS)》 *
倪远东等: "智能合约安全漏洞研究综述", 《信息安全学报》 *
郑忠斌等: "智能合约的安全研究现状与检测方法分析综述", 《信息安全与通信保密》 *

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115037512A (zh) * 2022-04-27 2022-09-09 中国科学院信息工程研究所 面向以太坊公有链智能合约的形式化静态分析方法及装置
CN115994363A (zh) * 2023-03-24 2023-04-21 北京邮电大学 基于多维度安全检测的区块链安全性评估方法及装置
CN116204594A (zh) * 2023-05-05 2023-06-02 中国民航信息网络股份有限公司 一种基于区块链的数据处理方法、装置及设备
CN117952634A (zh) * 2024-03-26 2024-04-30 国网湖北省电力有限公司电力科学研究院 一种电力行业源端碳数据可信评级方法及系统
CN117952634B (zh) * 2024-03-26 2024-06-11 国网湖北省电力有限公司电力科学研究院 一种电力行业源端碳数据可信评级方法及系统

Also Published As

Publication number Publication date
CN112256271B (zh) 2022-11-29

Similar Documents

Publication Publication Date Title
Silva et al. Refdiff: detecting refactorings in version histories
CN112256271B (zh) 一种基于静态分析的区块链智能合约安全检测系统
US10198580B2 (en) Behavior specification, finding main, and call graph visualizations
Madsen et al. Practical static analysis of JavaScript applications in the presence of frameworks and libraries
Bodin et al. A trusted mechanised JavaScript specification
US7703075B2 (en) Programmable annotation inference
US8566789B2 (en) Semantic-based query techniques for source code
Bernardi et al. Design pattern detection using a DSL‐driven graph matching approach
CN102339252B (zh) 基于xml中间模型以及缺陷模式匹配的静态检测系统
US8473915B2 (en) Coverage analysis tool for testing database-aware software applications
JP4693044B2 (ja) ソースコード脆弱性検査装置
Davis et al. The reflective Milawa theorem prover is sound (down to the machine code that runs it)
Lerner et al. Combining form and function: Static types for JQuery programs
Ko et al. Weakly sensitive analysis for JavaScript object‐manipulating programs
Hu et al. SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract.
Trifu Tool-supported identification of functional concerns in object-oriented code
Yu et al. Ontology model-based static analysis on java programs
Eilertsen Making software refactorings safer
Diamantopoulos et al. Mining Software Engineering Data for Software Reuse
Grigorev et al. String-embedded language support in integrated development environment
Zhu Enhancing the Expressiveness and Efficiency of Privacy Linting
Dias ONTODL+: an ontology description language and its compiler
Zhang et al. A declarative approach for Java code instrumentation
Kalhauge Reporting Bugs in Metaprograms
Bernard et al. MongoDB Code Smells: Defining, Classifying and Detecting Code Smells for MongoDB Interactions in Java Programs

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant