Cover Image

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	He, Mengting, Xia, Shihao, Qin, Boqin, Yoshida, Nobuko, Yu, Tingting, Zhang, Yiying, Song, Linhai
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
by: Xia, Shihao, et al.
Published: (2026)

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
by: Xia, Shihao, et al.
Published: (2025)

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
by: Xia, Shihao, et al.
Published: (2024)

AuditGPT: Auditing Smart Contracts with ChatGPT
by: Xia, Shihao, et al.
Published: (2024)

Mark My Works Autograder for Programming Courses
by: Qiu, Yiding, et al.
Published: (2026)

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
by: Rathnasuriya, Ravishka, et al.
Published: (2026)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
by: He, Mengting, et al.
Published: (2026)

A Comparative Study of Android Performance Issues in Real-world Applications and Literature
by: Liao, Dianshu, et al.
Published: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study
by: Iuliano, Gerardo, et al.
Published: (2025)

From Prompts to Templates: A Systematic Prompt Template Analysis for Real-world LLMapps
by: Mao, Yuetian, et al.
Published: (2025)

Towards Understanding the Bugs in Solidity Compiler
by: Ma, Haoyang, et al.
Published: (2024)

Why Is My Transaction Risky? Understanding Smart Contract Semantics and Interactions in the NFT Ecosystem
by: Chen, Yujing, et al.
Published: (2025)

Understanding Typing-Related Bugs in Solidity Compiler
by: Li, Lantian, et al.
Published: (2025)

Towards Understanding and Characterizing Vulnerabilities in Intelligent Connected Vehicles through Real-World Exploits
by: Wang, Yuelin, et al.
Published: (2026)

HACMony: Automatically Detecting Hopping-related Audio-stream Conflict Issues on HarmonyOS
by: He, Jinlong, et al.
Published: (2025)

Solsmith: Solidity Random Program Generator for Compiler Testing
by: Li, Lantian, et al.
Published: (2025)

"Elementary, My Dear Watson." Detecting Malicious Skills via Neuro-Symbolic Reasoning across Heterogeneous Artifacts
by: Wang, Shenao, et al.
Published: (2026)

When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
by: Chen, Chong, et al.
Published: (2023)

Is My RPC Response Reliable? Detecting RPC Bugs in Ethereum Blockchain Client under Context
by: Zhong, Zhijie, et al.
Published: (2026)

Automated Program Repair Based on REST API Specifications Using Large Language Models
by: Yamagishi, Katsuki, et al.
Published: (2025)

Principal Context-aware Diffusion Guided Data Augmentation for Fault Localization
by: Fu, Shihao, et al.
Published: (2025)

Reasoning Runtime Behavior of a Program with LLM: How Far Are We?
by: Chen, Junkai, et al.
Published: (2024)

Understanding and Evaluating Developer Behaviour in Programming Tasks
by: Schröer, Martin, et al.
Published: (2024)

ChatGPT Inaccuracy Mitigation during Technical Report Understanding: Are We There Yet?
by: Tamanna, Salma Begum, et al.
Published: (2024)

scenario.center: Methods from Real-world Data to a Scenario Database
by: Schuldes, Michael, et al.
Published: (2024)

An Empirical Study on Noisy Label Learning for Program Understanding
by: Wang, Wenhan, et al.
Published: (2023)

A Comparative Gas Cost Analysis of Proxy and Diamond Patterns in EVM Blockchains for Trusted Smart Contract Engineering
by: Benedetti, Anto, et al.
Published: (2023)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

Trained Without My Consent: Detecting Code Inclusion In Language Models Trained on Code
by: Majdinasab, Vahid, et al.
Published: (2024)

Leveraging Mutation Analysis for LLM-based Repair of Quantum Programs
by: Yoshida, Chihiro, et al.
Published: (2026)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
by: Rao, Zihao, et al.
Published: (2024)

Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts
by: Liang, Jenny T., et al.
Published: (2024)

Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
by: Wang, Ruixin, et al.
Published: (2025)

Understanding NPM Malicious Package Detection: A Benchmark-Driven Empirical Analysis
by: Guo, Wenbo, et al.
Published: (2026)

SecVulEval: Benchmarking LLMs for Real-World C/C++ Vulnerability Detection
by: Ahmed, Md Basim Uddin, et al.
Published: (2025)

"I Would Have Written My Code Differently'': Beginners Struggle to Understand LLM-Generated Code
by: Zi, Yangtian, et al.
Published: (2025)

An Empirical Study of LLM-Based Code Clone Detection
by: Zhu, Wenqing, et al.
Published: (2025)

Error Understanding in Program Code With LLM-DL for Multi-label Classification
by: Amin, Md Faizul Ibne, et al.
Published: (2026)

DePro: Understanding the Role of LLMs in Debugging Competitive Programming Code
by: Parvez, Nabiha, et al.
Published: (2026)