Automated intelligent contract code defect detection system and method

A smart contract and code defect technology, applied in the payment system, payment system structure, instruments, etc., can solve the problems of missing errors, failure to check program code vulnerabilities, high technical requirements for verifiers, etc., and achieve the effect of solving the problem of false positives

Active Publication Date: 2018-12-21
成都链安科技有限公司
View PDF2 Cites 50 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
  • 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 automatic intelligent contract code defect detection system and method. Combining static code analysis with dynamic path traversal, together with independently extensible security model library and rule matching library, the defect code inspection is more complete, accurate and reliable, and the problem of missing report in defect code is solved. At that same time, the interface call of the bottom platform of the block chain is load in real time, and the generated t cases and counterexamples are used on the block chain platform to verify whet the defect code is a pseudo error or not, so that the defect code of the intelligent contract can be effectively and accurately found out, and the defect error code can be located to the specific position of the intelligentcontract source code through the source code mapping engine.

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 Applications(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