A method and system for detecting vulnerabilities in smart contracts based on meta-operations

By using a meta-operation-based smart contract vulnerability detection method, vulnerability detection rules are separated from code. Meta-operations and logical operators are defined to form vulnerability detection script files, which solves the problems of code complexity and poor scalability of existing tools and achieves efficient vulnerability detection.

CN116127466BActive Publication Date: 2026-02-24HANGZHOU DIANZI UNIV
3 Cites 0 Cited by

Patent Information

Application Number
CN202211634919.7
Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
Filing Date
2022-12-19
Publication Date
2026-02-24
Estimated Expiration
2042-12-19

AI Technical Summary

Technical Problem

Existing smart contract vulnerability detection tools suffer from tight coupling between vulnerability detection rules and tool code, resulting in complex code design, poor scalability, difficulty in adapting to the rapidly increasing trend of contract vulnerabilities, and the need for professional programming skills and repetitive code writing, which affects maintainability.

Method used

A vulnerability detection method based on meta-operations is adopted, which separates vulnerability detection rules from detection code. Meta-operations are defined as abstract functions, and vulnerability detection rules are described by logical operators to form vulnerability detection script files. The detection engine then parses and executes the vulnerability detection rules.

Benefits of technology

It enables the reuse of meta-operations, improves the scalability and maintainability of vulnerability detection tools, reduces the difficulty of writing new vulnerability rules, and reduces repetitive code writing work.

✦ Generated by Eureka AI based on patent content.
Patent Text Reader

Abstract

The application discloses a kind of smart contract vulnerability detection method and system based on meta operation.First, smart contract is converted into intermediate representation, and the basic matching operation on the intermediate representation is defined as meta operation, as the basic detection logic unit of contract code vulnerability detection;Second, the detection rule of contract vulnerability is expressed as the logical operation expression of a group of meta operation, and the vulnerability detection script file is formed.The detection code of all meta operations is implemented in the contract vulnerability detection system, and the analysis execution code of contract vulnerability detection rule;Finally, the system judges whether the smart contract to be measured exists certain vulnerability characteristics by parsing vulnerability detection script file and executing matching operation.The application is suitable for the detection of different versions of smart contract vulnerability, and the reuse of meta operation reduces a lot of repeated vulnerability detection code writing work, and improves the scalability of contract vulnerability detection tool.
Need to check novelty before this filing date? Find Prior Art