論文の概要: Pattern-Based Precondition Inference from Method Implementations

• arxiv url: http://arxiv.org/abs/2610.24204v1
• Date: Fri, 16 Oct 2026 20:24:14 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-26 10:15:51.01529
• Title: Pattern-Based Precondition Inference from Method Implementations
• Title（参考訳）: メソッド実装からのパターンベース前提条件推論
• Abstract要約: Prexはパターンベースの静的解析アプローチで、Javaソースコードの明示的なチェックから事前条件を推測する。 各前提条件について、Prexは、有効な呼び出しに必要な条件と、違反した場合に報告された例外を報告します。
• 参考スコア（独自算出の注目度）: 2.4339832688075167
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Method preconditions define the conditions that must be satisfied before a method is called. Often, such conditions are not documented and must be inferred. We present Prex, a pattern-based static analysis approach that infers preconditions from explicit checks in Java source code. For each precondition, Prex reports the condition required for a valid call and the reported exception in the case of a violation. Prex also attempts code transformations to convert the condition detected within a method's implementation into an expression that can be evaluated by client code. It leverages the concept of a mutation boundary to separate precondition checks from exceptions that may occur after the method changes the program state. We evaluated Prex from 46 open source Java projects and manually reviewed independent samples of 150 reports. Among the 150 Prex reports, 149 were correct and 125 of the correct reports were executable by client code. In a systematic comparison with an alternative approach based on path expansion, Prex provided more precise results. In total, 122 of the 149 correct reports had no relevant method documentation, and 41 required nontrivial source code analysis to recover manually. Overall, explicit source-code checks provide precondition information that can be absent from method documentation, and Prex can help recover it.
• Abstract（参考訳）: メソッド事前条件は、メソッドが呼び出される前に満たさなければならない条件を定義します。 多くの場合、そのような条件は文書化されておらず、推論されなければならない。 我々は,Javaソースコードの明示的なチェックから事前条件を推測するパターンベースの静的解析手法であるPrexを提案する。 各前提条件について、Prexは、有効な呼び出しに必要な条件と、違反した場合に報告された例外を報告します。 Prexはまた、メソッドの実装内で検出された条件をクライアントコードで評価可能な式に変換するために、コード変換を試みる。 これは突然変異境界の概念を利用して、メソッドがプログラムの状態を変えた後に発生する可能性のある例外から事前条件チェックを分離する。 我々は、46のオープンソースプロジェクトからPrexを評価し、150のレポートの独立したサンプルを手動でレビューした。 150のPrexレポートのうち、149は正しく、125の正しいレポートはクライアントコードで実行可能だった。 経路拡張に基づく代替手法と体系的な比較において、Prexはより正確な結果を提供した。 合計で149件の正確な報告のうち122件は関連するメソッドの文書がなく、41件は手動で復元するために非自明なソースコード解析を必要とした。 全体として、明示的なソースコードチェックは、メソッドドキュメンテーションから欠落する可能性のある事前条件情報を提供し、Prexはそれを回復するのに役立ちます。

関連論文リスト

• VulnSAGE: Adjudicating SAST Reports by Connecting LLM Reasoning to Program Structure [12.919621922876281]
  VulnSAGEは静的アプリケーションセキュリティテスト(SAST)レポートの判断システムである。 大型言語モデル(LLM)を両方向のプログラム構造に接続する。 97件の誤報のうち89件を拒絶し、90件の欠陥のうち85件を残している。
  論文  参考訳（メタデータ） (2026-10-16T07:12:35Z)
• A Closed-Loop Control Architecture for Reliable Constraint Satisfaction in LLM Text Generation [3.5421466056561304]
  ソフトウェアシステムは、数値出力制約を満たさなければならない機能に、大きな言語モデルを組み込んでいる。 単一のプロンプトは、ターゲットを確実に満たさず、ソース内容も保存しない。 本稿では,この問題に対するクローズドループ制御アーキテクチャの提案と評価を行う。
  論文  参考訳（メタデータ） (2026-09-17T05:03:05Z)
• FRAUDSkill: Structured Frozen-Weight Skill Optimization for Audio Anti-Fraud Detection [51.835490676337564]
  大規模な音声言語モデルは、音声を直接処理し、詐欺関連の証拠を推論することで、反詐欺検出の可能性を示してきた。 既存の微調整とプロンプトベースのアプローチは、通常、タスクの知識、制約、決定ルールをモデルパラメータや手動で保守されたプロンプトにエンコードする。 本稿では,FRAUDSkillを提案する。FRAUDSkillは,プログラムの外部レイヤ,ルート固有のポリシー,決定ルールを最適化しながら,基礎となる音声モデルに変化を持たせる構造的フリーウェイト適応フレームワークである。
  論文  参考訳（メタデータ） (2026-09-16T14:51:37Z)
• Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
  そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。 各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。 これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
  論文  参考訳（メタデータ） (2026-04-20T13:25:40Z)
• Studying the Impact of Early Test Termination Due to Assertion Failure on Code Coverage and Spectrum-based Fault Localization [48.22524837906857]
  本研究は,アサーション障害による早期検査終了に関する最初の実証的研究である。 6つのオープンソースプロジェクトの207バージョンを調査した。 以上の結果から,早期検査終了は,コードカバレッジとスペクトルに基づく障害局所化の有効性の両方を損なうことが示唆された。
  論文  参考訳（メタデータ） (2025-04-06T17:14:09Z)
• Program Structure Aware Precondition Generation [8.797622429151861]
  コードから自然条件を推定するための新しい手法を提案する。 私たちの革新は、プログラム変換を通じて事前条件を推論するために、ターゲットメソッドの構造をシードとして活用することにあります。 実世界の87のプロジェクトにフレームワークを適用した18kのJava(メソッド、プレコンディション)ペアのデータセットを提示する。
  論文  参考訳（メタデータ） (2023-10-03T15:40:19Z)
• Minimax Instrumental Variable Regression and $L_2$ Convergence Guarantees without Identification or Closedness [71.42652863687117]
  インストゥルメンタル変数(IV)回帰の非パラメトリック推定について検討した。 固定IV解に収束できる新しいペナル化ミニマックス推定器を提案する。 ラックス条件下での推定値に対して強い$L$誤差率を導出する。
  論文  参考訳（メタデータ） (2023-02-10T18:08:49Z)

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

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