静的解析ルールの例ベース合成【JST・京大機械翻訳】

Garg Pranav; SHS Srinivasan Sengamedu

プレプリント

J-GLOBAL ID：202202200508841667 整理番号：22P0333931

静的解析ルールの例ベース合成【JST・京大機械翻訳】

Example-based Synthesis of Static Analysis Rules

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2022年04月18日プレプリントサーバーでの情報更新日： 2022年04月18日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

静的解析ツールは,いくつかのコード品質問題のための規則を持って,これらの規則は手動で専門家によって生み出した。本論文では,事例からコード品質ルールの自動合成の問題に取り組んだ。符号のグラフ表現に関する一次論理公式合成として規則合成問題を定式化した。ルールに対する関心の符号要素を同定するため,Integer線形プログラミングに基づくグラフアラインメントに基づく,新しい合成アルゴリズムRhoSynthを提示した。ポジティブおよびネガティブ例のソースとして開発者によって作られたコード変更をレバーグすることによって,RhoSynthをブートストラップした。また,規則を付加的ユーザ分割例により増分的に改善するルール精密化に取り組んだ。30以上のJavaコード品質ルールを合成することにより,RhoSynthを検証した。これらの規則は,企業におけるコードレビューシステムの一部として展開され,それらの精度は,ライブコードレビュー中に収集された開発者フィードバックに基づいて75%を超えている。最近のベースラインとの比較を通して,現在の最先端のプログラム合成手法がこれらの規則の大部分を合成できないことを示した。【JST・京大機械翻訳】

, , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

計算機システム開発

前のページに戻る