論文の概要: Finding and Understanding Miscompilation Bugs in the Solidity Compiler

• arxiv url: http://arxiv.org/abs/2607.07217v1
• Date: Wed, 08 Jul 2026 09:59:46 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-09 22:50:30.348012
• Title: Finding and Understanding Miscompilation Bugs in the Solidity Compiler
• Title（参考訳）: ソリデーティコンパイラにおける誤コンパイルバグの発見と理解
• Authors: Bhargava Shastry,
• Abstract要約: 私たちはSolSmithを開発し、Solidityコンパイラの品質を改善しました。 25の誤コンパイルバグが発見されました。 SolSmithが発見した誤コンパイルバグは、その性質、根本原因、およびエンドユーザへの影響に基づいて分類する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Smart contract compilers are critical to ensuring the correctness of public blockchains whose defining characteristics are open-source and immutable code. We created SolSmith, a semantics-aware differential fuzz testing tool, to improve the quality of the Solidity compiler -- the most popular compiler for the Ethereum blockchain -- and spent over three years finding compiler defects that produce incorrect code. We call these defects miscompilation bugs. During this time period, we have discovered 25 miscompilation bugs that went unnoticed, some for multiple years. Our first contribution is to make compiler testing more rigorous. SolSmith achieves this goal by generating valid test programs that are likely to stress test code generation and optimization components. This helps SolSmith find bugs missed during routine testing that could potentially have serious implications for smart contracts and their users. Our second contribution is a qualitative and quantitative analysis of miscompilation bugs that we found in the Solidity compiler. We classify miscompilation bugs found by SolSmith based on their nature, root-causes, and impact on end-users. This sheds light on some pitfalls of optimizing compilers.
• Abstract（参考訳）: スマートコントラクトコンパイラは、オープンソースのイミュータブルなコードを定義するパブリックブロックチェーンの正しさを保証するために重要である。 私たちは、Ethereumブロックチェーンの最も人気のあるコンパイラであるSolidityコンパイラの品質を改善するために、セマンティクスを意識した差分ファジテストツールであるSolSmithを開発しました。 これらの欠陥を誤コンパイルバグと呼びます。 この期間に25の誤コンパイルバグが発見されました。 最初のコントリビューションは、コンパイラテストをより厳格にすることです。 SolSmithはこの目標を達成するために、テストコード生成と最適化コンポーネントを強調する可能性のある、有効なテストプログラムを生成する。 このことは、SolSmithが定期的なテスト中に失敗したバグを見つけるのに役立つ。 2つ目のコントリビューションは、Solidityコンパイラで見つかった誤コンパイルバグの質的かつ定量的な分析です。 SolSmithが発見した誤コンパイルバグは、その性質、根本原因、およびエンドユーザへの影響に基づいて分類する。 これはコンパイラを最適化する際の落とし穴を浮き彫りにする。

関連論文リスト

• Anchored Self-Play for Code Repair [68.0728003844994]
  コード修復は言語モデル(LM)の重要な機能である 本稿では,1つのモデルを強化学習で訓練し,バグを生成して修正する__generator--fixer self-play__を提案する。 BugSourceBenchでは、セルフプレイは難しいが非現実的なバグへと向かっている。 本稿では,参照バグの生成と混合のためのコード埋め込み型類似性報酬をフィクスチャトレーニングに付加することにより,小さな参照セットでセルフプレイをアンロックするAnchored Self-Play (ASP)を提案する。
  論文  参考訳（メタデータ） (2026-07-03T17:51:52Z)
• ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis [37.31248744457945]
  ParityFuzzは、Solidity用のクロスコンパイラ差分テストフレームワークである。 コンパイラと実行環境を分析して、構文や境界指向のルールを含む突然変異ルールを導出する。 複数のコンパイラにまたがってプログラムをコンパイルして実行し、その結果を正規化し、比較して不整合を検出する。
  論文  参考訳（メタデータ） (2026-05-09T16:53:45Z)
• BugPilot: Complex Bug Generation for Efficient Learning of SWE Skills [59.003563837981886]
  高品質なバグは、次世代の言語モデルベースソフトウェアエンジニアリング(SWE)エージェントをトレーニングする鍵となる。 難易度および多種多様なバグを合成する新しい方法を提案する。
  論文  参考訳（メタデータ） (2025-10-22T17:58:56Z)
• Solsmith: Solidity Random Program Generator for Compiler Testing [8.14179966625145]
  本稿では,Solidityコンパイラの欠陥を明らかにするテストプログラムジェネレータであるSolsmithの設計と実装を行う。 有効で多様なSolidityプログラムを生成することで、コンパイラの正確性をテストする。 予備的な結果は、Solsmithが期待するテストプログラムを生成し、Solidityコンパイラの4つの欠陥を発見できることを示している。
  論文  参考訳（メタデータ） (2025-06-04T13:04:17Z)
• Towards Understanding the Bugs in Solidity Compiler [11.193701473232851]
  本稿では,533のSolidityコンパイラのバグに関する最初の系統的研究について述べる。 本研究は, その特徴(症状, 根本原因, 分布など)とトリガー試験例について検討した。 次に,Solidityコンパイラファザの限界について検討するため,Solidityコンパイラファザを3つ評価した。
  論文  参考訳（メタデータ） (2024-07-08T14:22:50Z)
• DebugBench: Evaluating Debugging Capability of Large Language Models [80.73121177868357]
  DebugBench - LLM(Large Language Models)のベンチマーク。 C++、Java、Pythonの4つの主要なバグカテゴリと18のマイナータイプをカバーする。 ゼロショットシナリオで2つの商用および4つのオープンソースモデルを評価する。
  論文  参考訳（メタデータ） (2024-01-09T15:46:38Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。