Work

An Empirical Study of Integer Overflow Detection and False Positive Analysis in Smart Contracts

Year: 2024

Type: conference-paper

Source: International Conference on Big Data and Internet of Things (BDIOT)

DOI: 10.1145/3697355.3697396

Authors: QingYuan Huang, ZiXun Zeng, Ying Shang

Institution: Beijing University of Chemical Technology

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Award: G6356797600

OpenAlex ID: W4405383757

FWCI: 1.998

Cites: 3

Cited by: 5

Related to: 10