論文の概要: Understanding Typing-Related Bugs in Solidity Compiler

• arxiv url: http://arxiv.org/abs/2512.18182v1
• Date: Sat, 20 Dec 2025 02:37:10 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-23 18:54:32.220661
• Title: Understanding Typing-Related Bugs in Solidity Compiler
• Title（参考訳）: 固形化コンパイラにおけるタイピング関連バグの理解
• Authors: Lantian Li, Yue Pan, Dan Wang, Jingwen Wu, Zhongxing Yu,
• Abstract要約: 本稿では,Solidityコンパイラにおけるタイピング関連バグに関する最初の系統的研究について述べる。 それぞれのバグについて,症状,根本原因,露出条件,修正戦略の4次元から詳細な分析と分類を行った。
• 参考スコア（独自算出の注目度）: 20.643091052140118
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The correctness of the Solidity compiler is crucial for ensuring the security of smart contracts. However, the implementation complexity of its type system often introduces elusive defects. This paper presents the first systematic empirical study on typing-related bugs in the Solidity compiler. To systematically analyze these bugs, we collected 146 officially confirmed and fixed typing-related bugs from the official GitHub repository of Solidity compiler. For each bug, we conducted an in-depth analysis and classification from four dimensions: symptoms, root causes, exposure conditions, and fix strategies. Through this study, we reveal unique distribution patterns and key characteristics of such bugs, and summarize 12 core findings. We additionally give the implications of our findings, and these implications not only deepen the understanding of inherent weaknesses in the Solidity compiler but also provide new insights for detecting and fixing typing-related bugs in the Solidity compiler.
• Abstract（参考訳）: Solidityコンパイラの正しさは、スマートコントラクトのセキュリティを確保する上で極めて重要です。 しかし、その型システムの実装の複雑さは、しばしば解答的な欠陥をもたらす。 本稿では,Solidityコンパイラにおけるタイピング関連バグに関する最初の系統的研究について述べる。 これらのバグを体系的に分析するために、公式のGitHubリポジトリであるSolidityコンパイラから146の正式に確認され、タイピング関連のバグを修正しました。 それぞれのバグについて,症状,根本原因,露出条件,修正戦略の4次元から詳細な分析と分類を行った。 本研究では,これらのバグの分布パターンと重要な特徴を明らかにし,12コアの発見を要約する。 また,Solidityコンパイラにおける本質的な弱点の理解を深めるだけでなく,Solidityコンパイラにおけるタイピング関連バグの検出と修正のための新たな洞察を提供する。

関連論文リスト

• BugPilot: Complex Bug Generation for Efficient Learning of SWE Skills [59.003563837981886]
  高品質なバグは、次世代の言語モデルベースソフトウェアエンジニアリング(SWE)エージェントをトレーニングする鍵となる。 難易度および多種多様なバグを合成する新しい方法を提案する。
  論文  参考訳（メタデータ） (2025-10-22T17:58:56Z)
• On the Feasibility of Deduplicating Compiler Bugs with Bisection [1.286741686995463]
  バグ重複(Bug deduplication)は、バグ重複として知られる実用的な研究問題である。 コンパイラのバグ重複の以前の方法は主に、重複識別のためのバグ関連機能を抽出するプログラム分析に依存していた。 BugLensは、主に二分法を用いる新しい重複解法であり、偽陰性を最小化するためにバグトリガ最適化の同定によって強化される。
  論文  参考訳（メタデータ） (2025-06-29T15:12:57Z)
• Improving Compiler Bug Isolation by Leveraging Large Language Models [14.679589768900621]
  本稿では,AutoCBIという新しいコンパイラバグ分離手法を提案する。 我々は、広く使われているGCCおよびLLVMコンパイラの120の現実世界バグに対して、最先端のアプローチ(DiWi、RecBi、FuseFL)に対してAutoCBIを評価した。 特に、GCC/LLVMの上位1位では、AutoCBIは66.67%/69.23%、300%/340%、100%/57.14%のバグをRecBi、DiWi、FuseFLより分離している。
  論文  参考訳（メタデータ） (2025-06-21T09:09:30Z)
• Localizing Factual Inconsistencies in Attributable Text Generation [74.11403803488643]
  本稿では,帰属可能なテキスト生成における事実の不整合をローカライズするための新しい形式であるQASemConsistencyを紹介する。 QASemConsistencyは、人間の判断とよく相関する事実整合性スコアを得られることを示す。
  論文  参考訳（メタデータ） (2024-10-09T22:53:48Z)
• Towards Understanding the Bugs in Solidity Compiler [11.193701473232851]
  本稿では,533のSolidityコンパイラのバグに関する最初の系統的研究について述べる。 本研究は, その特徴(症状, 根本原因, 分布など)とトリガー試験例について検討した。 次に,Solidityコンパイラファザの限界について検討するため,Solidityコンパイラファザを3つ評価した。
  論文  参考訳（メタデータ） (2024-07-08T14:22:50Z)
• Using Developer Discussions to Guide Fixing Bugs in Software [51.00904399653609]
  我々は,タスク実行前に利用可能であり,また自然発生しているバグレポートの議論を,開発者による追加情報の必要性を回避して利用することを提案する。 このような議論から派生したさまざまな自然言語コンテキストがバグ修正に役立ち、オラクルのバグ修正コミットに対応するコミットメッセージの使用よりもパフォーマンスの向上につながることを実証する。
  論文  参考訳（メタデータ） (2022-11-11T16:37:33Z)
• Understanding Factual Errors in Summarization: Errors, Summarizers, Datasets, Error Detectors [105.12462629663757]
  本研究では、既存の9つのデータセットから事実性エラーアノテーションを集約し、基礎となる要約モデルに従ってそれらを階層化する。 本稿では,この階層化ベンチマークにおいて,最近のChatGPTベースの指標を含む最先端の事実性指標の性能を比較し,その性能が様々な種類の要約モデルで大きく異なることを示す。
  論文  参考訳（メタデータ） (2022-05-25T15:26:48Z)
• Improving Pre-trained Language Models with Syntactic Dependency Prediction Task for Chinese Semantic Error Recognition [52.55136323341319]
  既存の中国語のテキスト誤り検出は主にスペルと単純な文法的誤りに焦点を当てている。 中国の意味的誤りは、人間が容易に認識できないほど過小評価され、複雑である。
  論文  参考訳（メタデータ） (2022-04-15T13:55:32Z)

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

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