Finding and Understanding Miscompilation Bugs in the Solidity Compiler

arXiv:2607.07217 · cs.SE, cs.CR, cs.PL · Submitted 2026-07-08 · Read on arXiv

Bhargava Shastry

cs.SE, cs.CR, cs.PL

Submitted: 2026-07-08

Comments: 16 pages, 7 figures, 4 tables

Code: https://github.com/ethereum/solidity

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Ethereum Virtual Machine — 3× in this paper
• Trace — 3× in this paper · explained in 2 episodes
• Consistency — 1× in this paper · explained in 3 episodes
• Equivalent Modulo Inputs — 1× in this paper
• Robustness — 1× in this paper · explained in 5 episodes

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties