Method and device for detecting vulnerability of smart contract and computer equipment

A smart contract and detection method technology, applied in the blockchain field, can solve problems such as low work efficiency, inconsistent verification results of multiple people, uneven detection results, etc., and achieve the effect of improving work efficiency and detection accuracy

Pending Publication Date: 2021-02-19
ONE CONNECT SMART TECH CO LTD SHENZHEN
View PDF0 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] Based on this, it is necessary to provide a smart contract vulnerability detection method for the detection results of the manual detection method completely relying on the technical level of the detection personnel, resulting in uneven detection results, inconsistent multi-person review results, and low work efficiency. , devices and equipment

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method and device for detecting vulnerability of smart contract and computer equipment
  • Method and device for detecting vulnerability of smart contract and computer equipment
  • Method and device for detecting vulnerability of smart contract and computer equipment

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0048] In order to make the object, technical solution and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0049] It can be understood that the terms "first", "second" and the like used in this application may be used to describe various elements herein, but these elements are not limited by these terms. These terms are only used to distinguish one element from another element.

[0050] like figure 1 As shown, a detection method for a smart contract vulnerability provided by the embodiment of the present application includes:

[0051] Step S10, obtaining the contract file to be detected.

[0052] Wherein, the contract file to be detected is a contract file of a smart contract that requires vulnerabil...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention relates to a method, a device and equipment for detecting vulnerability of a smart contract. The method comprises the following steps: acquiring a to-be-detected contract file; obtaininga logic expression corresponding to each terminal node in the to-be-detected contract file according to the operation logic of the executable code in the to-be-detected contract file; detecting eachlogic expression to obtain a detection result; and judging whether the contract file to be detected has a vulnerability or not based on the detection result. According to the method, the logic relationship in the to-be-detected contract file can be detected, and known or unknown vulnerabilities in the to-be-detected contract file can be detected without depending on known vulnerability feature information, so that the detection accuracy during detection of the vulnerabilities of the to-be-detected contract file can be improved, and various vulnerabilities can be detected, so the working efficiency is improved.

Description

technical field [0001] The invention relates to the field of block chains, in particular to a detection method, device and equipment for loopholes in smart contracts. Background technique [0002] The blockchain is a distributed shared account book and database, which has the characteristics of decentralization, non-tampering, traceability, and traceability. The blockchain can solve the problem of information asymmetry and realize collaboration, trust and cooperation between multiple subjects. Acting in concert, these features enable the blockchain to be applied in a variety of scenarios. Ethereum (Ethereum) is an open source public blockchain platform, which has the characteristics of decentralization, consensus, and distributed ledger of blockchain. It provides all developers with a smart contract solution platform based on the Solidity language. It provides various modules for users to create smart contracts for their own projects. A smart contract is a computer protoco...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F21/57G06F8/41G06F16/27G06Q40/04
CPCG06F8/41G06F21/577G06Q40/04G06F16/27
Inventor 代健武
Owner ONE CONNECT SMART TECH CO LTD SHENZHEN
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap