An automated intelligent contract code defect detection system and method

A technology of smart contracts and code defects, applied in the payment system, payment system structure, protocol authorization, etc., can solve the problems of underreporting errors, inability to detect program code loopholes, and high technical requirements for verifiers, so as to solve the problem of false positives. Effect

Active Publication Date: 2021-04-20
成都链安科技有限公司
View PDF2 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Theorem proof is based on axioms and formal deduction rules to verify whether the design and implementation meet the requirements. When performing security checks on blockchain smart contracts, due to the need for a large amount of human intervention, the efficiency is very low, and the technical requirements for the verifier are very high; model testing can Realize the automatic processing of smart contract vulnerabilities by the machine, but when dealing with more complex smart contract codes, problems such as state explosion, false positive errors, and missed negative errors often occur; and the equivalence proof mainly verifies the implementation of the program code and the function of the design prototype Whether it is consistent, it is impossible to check out program code loopholes

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
  • An automated intelligent contract code defect detection system and method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0049] Such as figure 1 As shown, the present invention is an automated intelligent contract code defect detection method, and a corresponding device is developed to perform defect code inspection on blockchain smart contracts. In order to make it easier for those skilled in the art to understand, the following will use the source code of the Ethereum blockchain smart contract as an example for illustration. It does not constitute any limitation on the present invention. Under the enlightenment of the technical content disclosed in the present invention, those skilled in the art can apply it to other blockchain platforms, such as EOS, Fabric, etc.

[0050] In this example, take the Ethereum smart contract as an example, combined with figure 1 , including the Ethereum smart contract compiler Solc: used to receive the source code of the blockchain smart contract, compile it to obtain the syntax tree and object code of the smart contract source code, and send it to the security...

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 discloses an automated smart contract code defect detection system and method, which fully automatically checks the block chain smart contract for defect codes; uses a combination of static code analysis and dynamic path traversal, plus an independently expandable The security model library and the rule matching library make the defect code inspection more complete, accurate and reliable, and solve the problem of missing reports in the defect code; at the same time, the underlying platform interface calls of the blockchain are loaded in real time, and the generated test cases and counterexamples are recorded in the blockchain Verifying whether the defect code is a false error on the platform can effectively and accurately find out the defect code of the smart contract. Through the source code mapping engine, the defect error code can also be located to the specific location of the source code of the smart contract.

Description

technical field [0001] The invention relates to the security field of blockchain smart contracts, in particular to an automated smart contract code defect detection system and method. Background technique [0002] Blockchain is a new application model of computer technologies such as distributed data storage, point-to-point transmission, consensus mechanism, and encryption algorithm. The technology of using a decentralized consensus mechanism to maintain a complete, distributed, and non-tamperable ledger database enables participants in the blockchain to implement a unified ledger system without establishing a trust relationship. A smart contract is a set of promises defined in digital form, including the agreement on which the parties to the contract can implement these promises. In the context of blockchain technology, smart contracts refer to program codes that run on the blockchain and can perform certain functions. The smart contract is written into the blockchain in ...

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 Patents(China)
IPC IPC(8): G06F21/56G06Q20/40
CPCG06F21/563G06F21/566G06Q20/405
Inventor 杨霞
Owner 成都链安科技有限公司
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