Blockchain intelligent contract security detection system based on static analysis
A smart contract and security detection technology, applied in the field of security detection, can solve problems such as ignoring characteristics, not being able to identify security risks, and uneven contract quality, so as to achieve the effect of ensuring security
Active Publication Date: 2021-01-22
INST OF INFORMATION ENG CAS
View PDF11 Cites 3 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Since the common language is not specially designed for smart contracts, the developers of the common language may ignore the characteristics related to the smart contract mechanism, or the quality of the contract may vary due to the different levels of developers, which will easily lead to security risks after the development of smart contracts
However, the development and audit tools of the current common language itself cannot identify all security risks related to contracts
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0037] In order to make the objectives, advantages and technical solutions of the present invention more clear, the present invention will be further described in detail below through specific implementation and in conjunction with the accompanying drawings.
[0038] for figure 1 It is a system block diagram of the block chain smart contract security detection system based on static analysis in the present invention, including a smart contract preprocessing program module, a core detection engine module and a detection result display module. In a nutshell, one is that the developer of the smart contract uploads the contract source code to the program preprocessing module to generate a static structure of the code; the other is that the static structure of the code is automatically input into the core detection engine module, and uses feature matching to detect contract security issues; the third is based on The distributed WEB workflow structure visualizes the detection result...
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
Login to View More Abstract
The invention discloses a blockchain intelligent contract security detection system based on static analysis, which comprises an intelligent contract preprocessing program module, a core detection engine module and a detection result display module, and is characterized in that abstract syntax tree analysis and internal call relationship analysis are carried out on a contract through the intelligent contract preprocessing program module; the association relationship of the contract function is analyzed; the core detection engine module analyzes the risk items of the contract by adopting packetdetection, instruction detection, logic detection and the like according to the characteristics of each risk item of uncertainty, data privacy security and logic security; and finally, a detection result is presented to a user through a visual display module.
Description
technical field [0001] The invention belongs to the technical field of safety detection in information security, and in particular relates to a block chain smart contract safety detection system based on static analysis. Background technique [0002] With the popularity of Bitcoin and Ethereum, the blockchain is regarded as a powerful technology that widely affects many fields. More and more research institutions pay attention to the evolution of blockchain technology and its application in different scenarios. The actual landing, such as financial currency, supply chain, identity authentication, etc. Smart contracts are one of the core components that run on the blockchain. The essence of a smart contract is a computer program that is triggered by an event on the blockchain network to achieve a consensus between non-trusting parties that is automatically executed when certain conditions are met. Smart contracts will transform traditional business processes to achieve reli...
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
Login to View More IPC IPC(8): G06F8/41G06F21/56G06Q40/04
CPCG06F8/427G06F21/563G06Q40/04
Inventor 王瑜周启慧王雅哲汪晗范洪端
Owner INST OF INFORMATION ENG CAS