Security test system and method for smart contract
A technology for smart contracts and security testing, applied in the field of security testing systems for smart contracts, it can solve the problems of low efficiency of model testing, single testing methods, and reduced test coverage, so as to improve coverage and reduce false positives.
Pending Publication Date: 2021-11-30
BEIJING VRV SOFTWARE CO LTD
View PDF0 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0006] (1) There are no different test methods for different file types; most of the existing test methods use the same way to test code files and bytecode files, which wastes the detailed information in the code files and reduces the test coverage ;
[0007] (2) The test method is single; most of the test methods currently proposed are static tests, which have certain limitations
This method can only test known security vulnerabilities, but cannot mine unknown vulnerabilities
[0008] (3) Low efficiency; due to the single test method and no classification of the model, the test efficiency is low
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
[0040] Exemplary embodiments of the present disclosure will be described in more detail below with reference to the accompanying drawings. Although exemplary embodiments of the present disclosure are shown in the drawings, it should be understood that the present disclosure may be embodied in various forms and should not be limited by the embodiments set forth herein. Rather, these embodiments are provided for more thorough understanding of the present disclosure and to fully convey the scope of the present disclosure to those skilled in the art.
[0041] In the present invention, it should be understood that terms such as "comprising" or "having" are intended to indicate the presence of features, numbers, steps, acts, components, parts or combinations thereof disclosed in the specification, and are not intended to exclude one or multiple other features, numbers, steps, acts, parts, parts or combinations thereof.
[0042] In addition, it should be noted that, in the case of n...
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 provides a security test system and method for a smart contract. The system comprises: a front-end interaction module, which is used for receiving an input value of the smart contract; a preprocessing module, which is used for preprocessing the input value of the smart contract; a first test module, which is used for performing a first test on the source code of the smart contract when the input value is the source code; a second test module, which is used for performing a second test on the byte code of the smart contract when the input value is the byte code; and a reporting module, which is used for outputting a safety test report according to a test result of the first test and / or the second test. By utilizing the above scheme, the smart contract of a block chain can be detected from the aspects of a source code file and a binary file respectively, detail information in the code files is fully utilized, the coverage rate of detection is improved, and a false alarm rate is reduced.
Description
technical field [0001] The invention belongs to the field of testing, and in particular relates to a security testing system and method for smart contracts. Background technique [0002] This section is intended to provide a background or context for implementations of the invention that are recited in the claims. The descriptions herein are not admitted to be prior art by inclusion in this section. [0003] Smart contract is one of the core technologies of the blockchain. Its essence is a computer program. As a computer program running on the blockchain, it greatly enriches the functions of the blockchain, making the blockchain more than just a distributed ledger. database, and can complete a certain degree of business processing. Due to the immutable nature of the blockchain, once it is deployed on the blockchain, it cannot be modified. If there is a security loophole in the smart contract, once the security loophole is exploited, it is very likely to lead to disastrous...
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 Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3688G06F11/3676
Inventor 胡建斌杨泳杨华
Owner BEIJING VRV SOFTWARE CO LTD