Cover Image

Understanding Typing-Related Bugs in Solidity Compiler

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Lantian, Pan, Yue, Wang, Dan, Wu, Jingwen, Yu, Zhongxing
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

IDOL: Improved Different Optimization Levels Testing for Solidity Compilers
by: Li, Lantian, et al.
Published: (2025)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
by: Li, Lantian, et al.
Published: (2025)

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

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
by: Wu, Jingwen, et al.
Published: (2025)

Isolating Compiler Bugs through Compilation Steps Analysis
by: Liu, Yujie, et al.
Published: (2025)

Understanding and Finding JIT Compiler Performance Bugs
by: Yi, Zijian, et al.
Published: (2026)

Parameter-Efficient Fine-Tuning with Attributed Patch Semantic Graph for Automated Patch Correctness Assessment
by: Yang, Zhenyu, et al.
Published: (2025)

DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
by: Suo, Chenyao, et al.
Published: (2025)

Towards Speeding up Program Repair with Non-Autoregressive Model
by: Yang, Zhenyu, et al.
Published: (2025)

Bug Histories as Sources of Compiler Fuzzing Mutators
by: Liu, Lingjun, et al.
Published: (2025)

Improving Compiler Bug Isolation by Leveraging Large Language Models
by: Qi, Yixian, et al.
Published: (2025)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
by: Zhou, Xintong, et al.
Published: (2025)

Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
by: Zeng, Hui, et al.
Published: (2025)

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models
by: Tu, Haoxin, et al.
Published: (2023)

Toward Understanding Deep Learning Framework Bugs
by: Chen, Junjie, et al.
Published: (2022)

E-code: Mastering Efficient Code Generation through Pretrained Models and Expert Encoder Group
by: Pan, Yue, et al.
Published: (2024)

Detecting Metadata-Related Bugs in Enterprise Applications
by: Kabir, Md Mahir Asef, et al.
Published: (2025)

Toward Understanding Bugs in Vector Database Management Systems
by: Xie, Yinglin, et al.
Published: (2025)

Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports
by: Wang, Bo, et al.
Published: (2025)

BugForge: Constructing and Utilizing DBMS Bug Repository to Enhance DBMS Testing
by: Li, Dawei, et al.
Published: (2026)

How is Testing Related to Single Statement Bugs?
by: Rahman, Habibur, et al.
Published: (2024)

An Exploratory Study of Bug-Introducing Changes: Exploring Relationships in Bug-Introducing Changes Towards Causal Understanding
by: Schulte, Lukas, et al.
Published: (2023)

Understanding Bugs in Template Engine-Based Applications: Symptoms, Root Causes, and Fix Patterns
by: Gao, Kai, et al.
Published: (2026)

Towards Understanding Bugs in Distributed Training and Inference Frameworks for Large Language Models
by: Yu, Xiao, et al.
Published: (2025)

Dataset of Yul Contracts to Support Solidity Compiler Research
by: Fonal, Krzysztof
Published: (2025)

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
by: Zaman, Tarannum Shaila, et al.
Published: (2026)

Exploring and Lifting the Robustness of LLM-powered Automated Program Repair with Metamorphic Testing
by: Xue, Pengyu, et al.
Published: (2024)

Understanding Bug-Reproducing Tests: A First Empirical Study
by: Hora, Andre, et al.
Published: (2026)

Towards Understanding the Challenges of Bug Localization in Deep Learning Systems
by: Jahan, Sigma, et al.
Published: (2024)

BugScope: Learn to Find Bugs Like Human
by: Guo, Jinyao, et al.
Published: (2025)

One Bug, Hundreds Behind: LLMs for Large-Scale Bug Discovery
by: Wu, Qiushi, et al.
Published: (2025)

LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
by: Zhang, Kunpeng, et al.
Published: (2026)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)

From Logic to Toolchains: An Empirical Study of Bugs in the TypeScript Ecosystem
by: Tang, TianYi, et al.
Published: (2026)

Automated Commit Message Generation with Large Language Models: An Empirical Study and Beyond
by: Xue, Pengyu, et al.
Published: (2024)

Understanding the Impact of Domain Term Explanation on Duplicate Bug Report Detection
by: Mukherjee, Usmi, et al.
Published: (2025)

Toward an Understanding of Developer Behaviour while Using Bug Localization Tools
by: Pedreira, Pablo Diaz, et al.
Published: (2026)

Bug Whispering: Towards Audio Bug Reporting
by: Masserini, Elena, et al.
Published: (2025)

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