Hainan University

Xiaoqi Li

Wenkai Li

Zekai Liu

Xin Wang

Lei Xie

Hailu Kuang

Yingjie Mao

A method and system for generating an abstract of a smart contract based on a large language model and semantic enhancement. The method includes: parsing a source code of a smart contract to generate an abstract syntax tree; extracting code semantic information; converting a contract function node of the abstract syntax tree into a function callback chart; and generating a high-quality abstract of code of the smart contract by utilizing the code semantic information extracted by the large language model and callback information in the function callback chart. By learning and understanding the semantic information and callback information of the smart contract function, the large language model can accurately understand and reason deep semantic information of the code to generate the high-quality abstract of the code of the smart contract. The a multi-model capability of the large language model to extract, understand, and reason the callback information of the function callback chart improves comprehension capability of the large language model on a code callback structure.

Method and system for generating abstract of smart contract based on large language model and semantic enhancement

Disclosed are a vulnerability detection method and device for a smart contract, and a storage medium. The method includes the following steps: constructing a control flowchart for the smart contract and collecting opcodes, operands, and opcodes in a static single assignment (SSA) form based on a call flow thereof; crawling application binary interfaces in a blockchain browser based on an address of the smart contract; using the opcodes and the operands as an input, and outputting function parameters; monitoring whether there are specified actions in functions to determine function attributes; and fusing the opcodes in the SSA form and the application binary interfaces or a concatenation form of the function parameters and the function attributes by an encoder, and obtaining existent vulnerability types by a decoder. With the technical solution of the present disclosure, semantic and function interface information in bytecodes is effectively used, and multi-label vulnerability detection is implemented.

Vulnerability detection method and device for smart contract, and storage medium

Growing community of inventors

Haikou, China

Xiaoqi Li