論文の概要: CISB-Bench: An Auditable Source--IR Dataset of Compiler-Introduced Security Bugs

• arxiv url: http://arxiv.org/abs/2610.07635v1
• Date: Tue, 06 Oct 2026 02:26:28 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-08 02:58:29.759069
• Title: CISB-Bench: An Auditable Source--IR Dataset of Compiler-Introduced Security Bugs
• Title（参考訳）: CISB-Bench: コンパイラが導入したセキュリティバグの監査可能なソース--IRデータセット
• Abstract要約: CISBは、最適化、低下、または機器決定が生成されたプログラムのセキュリティ関連プロパティを変更するときに発生する。 CISB-BenchはGCCとLLVMから抽出した429個の正確なCプログラム行の監査可能なデータセットである。
• 参考スコア（独自算出の注目度）: 1.2524460438908702
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Compiler-introduced security bugs (CISBs) arise when an optimization, lowering, or instrumentation decision changes a security-relevant property of the generated program. They are difficult to study because their evidence is distributed across issue reports, reduced tests, historical configurations, and compiler artifacts; a security-related report also does not imply that every associated reduction establishes a security-bearing compiler failure. We present CISB-Bench, an auditable dataset of 429 exact C-program rows mined from GCC and LLVM. Each row contains its C reduction, a standardized LLVM IR analysis bundle at -O0 through -O3, public provenance, a final binary label, and a primary mechanism or boundary annotation. Two reviewers independently labeled the fixed corpus, agreeing on 369 rows (86.0%, Cohen's kappa=0.662); the 60 disagreements were adjudicated. The final dataset comprises 280 CISBs and 149 hard non-CISB cases. The prediction task is to recover this reviewed exact-row label from the supplied artifacts; it is not a claim that standardized IR alone reproduces every historical compiler failure. We characterize the security mechanisms and evidence boundaries represented by the corpus, and demonstrate how its paired artifacts support source-only, IR-aware, and joint analyses. CISB-Bench provides a reusable, inspectable target for compiler-security mining and detection research.
• Abstract（参考訳）: コンパイラが導入したセキュリティバグ(CISBs)は、最適化、低下、またはインスツルメンテーションの決定が生成されたプログラムのセキュリティ関連プロパティを変更するときに発生する。 それらの証拠はイシューレポート、テストの削減、履歴設定、コンパイラアーティファクトに分散しているため、研究は困難である。 CISB-BenchはGCCとLLVMから抽出した429個の正確なCプログラム行の監査可能なデータセットである。 各行は、Cの削減、-O0から-O3までの標準LLVM IR分析バンドル、公開証明、最終バイナリラベル、および一次メカニズムまたは境界アノテーションを含む。 2人のレビュアーは369行(コーエンのカッパ=0.662、86.0%)の固定コーパスを独立にラベル付けした。 最終データセットは280のCISBと149のハード非CISBのケースで構成されている。 予測タスクは、このレビュー済みの正確な行ラベルを供給されたアーティファクトから復元することであり、標準化されたIRがすべての歴史的コンパイラの失敗を再現する、という主張ではない。 コーパスが表現するセキュリティ機構とエビデンス境界を特徴付けるとともに、そのペア化されたアーティファクトが、ソースオンリー、IRアウェア、ジョイント分析をどのようにサポートするかを実証する。 CISB-Benchは、コンパイラセキュリティマイニングと検出研究のための再利用可能な、検査可能なターゲットを提供する。

関連論文リスト

• Conformal Privacy Auditing: Calibrated Re-identification Attacks with Statistical Guarantees [57.41572512458446]
  公開されたテキストからの経験的アイデンティティリークは、大きな言語モデル(LLM)とドキュメントを個人にリンクするための補助的な知識を組み合わせた攻撃者によって駆動される。 本稿では,各文書の再識別リスクの統計証明を提供する分散フリーキャリブレーションフレームワークであるConformal Privacy Auditingを紹介する。
  論文  参考訳（メタデータ） (2026-09-18T05:49:54Z)
• SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers [55.39407031861402]
  本稿では,スマートコントラクトデコンパイルのためのデータセットとベンチマーク手法であるSCDBenchを紹介する。 データセットには600の現実のSolidityコントラクトと、ペア化されたバイトコード入力、地味なソースコード、再生可能なセマンティックチェックポイントが含まれている。 我々は,GLM-5の変種を含むゼロショット逆コンパイル設定において,Claude Opus 4.7,GPT-5.3-Codex,GLM-5を評価した。
  論文  参考訳（メタデータ） (2026-05-27T20:08:47Z)
• Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries [14.42294978688412]
  We present Veritas, a semantically grounded framework for binary memory corruption vulnerability detection。 Veritas は RetDec-lifted LLVM IR に静的スライサ、デュアルビュー LLM 検出器、マルチエージェントバリデータを組み合わせた。 Veritasをモジュールパイプラインとして実装し、実世界のバイナリ脆弱性ケースのキュレートされたベンチマークで評価する。
  論文  参考訳（メタデータ） (2026-05-14T17:16:11Z)
• Dynamic analysis enhances issue resolution [53.50448142467294]
  DAIRA(Dynamic Analysis-enhanced Issue Resolution Agent)は、エージェントの推論サイクルに動的解析を組み込む自動修復フレームワークである。 テストトレース駆動の方法論によって駆動されるDAIRAは、軽量モニタを使用して重要なランタイムデータを抽出する。 Gemini 3 Flash Previewを使用すると、DAIRAは新たな最先端(SOTA)パフォーマンスを確立し、SWE-bench Verifiedデータセットで79.4%の解像度を達成する。
  論文  参考訳（メタデータ） (2026-03-23T14:48:54Z)
• Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation [5.939983212292006]
  ゼロ知識仮想マシン(zkVM)を用いたソフトウェアをコンパイルし,検証可能な証明手法を提案する。 コンパイラをzkVM内で実行することにより,コンパイルされた出力と暗号証明の両方を生成し,そのコンパイルがクレームコンパイラでクレームされたソースコード上で実行されたことを実証する。 この結果から,zkコンパイルは実世界のソフトウェアに適用可能であり,強力なセキュリティ保証を提供することがわかった。
  論文  参考訳（メタデータ） (2026-02-12T12:36:36Z)
• RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories [58.32028251925354]
  LLM(Large Language Models)は、コード生成において顕著な能力を示しているが、セキュアなコードを生成する能力は依然として重要で、未調査の領域である。 我々はRealSec-benchを紹介します。RealSec-benchは、現実世界の高リスクなJavaリポジトリから慎重に構築されたセキュアなコード生成のための新しいベンチマークです。
  論文  参考訳（メタデータ） (2026-01-30T08:29:01Z)
• Exposing Hidden Interfaces: LLM-Guided Type Inference for Reverse Engineering macOS Private Frameworks [7.370020034607549]
  MOTIFは、ツール拡張分析とObjective-C型推論に特化した大きな言語モデルを統合するエージェントフレームワークである。 バイナリを解析可能なインターフェースに変換することで、MOTIFはランタイム内部の体系的な監査のためのスケーラブルな基盤を確立する。
  論文  参考訳（メタデータ） (2026-01-04T21:44:55Z)
• CveBinarySheet: A Comprehensive Pre-built Binaries Database for IoT Vulnerability Analysis [0.0]
  CveBinarySheetは1999年から2024年までの1033のCVEエントリを含むデータベースである。 私たちのデータセットは16の重要なサードパーティコンポーネントで構成されています。 各プリコンパイルされたバイナリは2つのコンパイラ最適化レベル(O0とO3)で利用でき、異なるコンパイルシナリオ下で包括的な脆弱性分析を容易にする。
  論文  参考訳（メタデータ） (2025-01-15T14:50:46Z)
• On the Security Blind Spots of Software Composition Analysis [46.1389163921338]
  Mavenリポジトリで脆弱性のあるクローンを検出するための新しいアプローチを提案する。 Maven Centralから53万以上の潜在的な脆弱性のあるクローンを検索します。 検出された727個の脆弱なクローンを検出し、それぞれに検証可能な脆弱性証明プロジェクトを合成する。
  論文  参考訳（メタデータ） (2023-06-08T20:14:46Z)

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

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