プログラムの静的解析手法の効率化と 解析フレームワ.pptVIP

プログラム静的解析手法の効率化と解析フレームワークの構築に関する研究 大阪大学 大学院基礎工学研究科 情報数理系専攻 ソフトウェア科学分野 大畑 文明 背景 ソフトウェアの大規模化による、開発作業の複雑化 高品質ソフトウェアを効率よく開発する要求の高まり ソフトウェアの品質改善、開発作業の生産性向上の必要性 プログラム解析: プログラムからその性質やふるまいを抽出し、それを開発者に提供することでソフトウェア開発を支援する技法 プログラム静的解析 プログラム静的解析: 対象プログラムの実行を必要としないプログラム解析技法で、一般に対象プログラムのソースコードに対して行われる プログラム静的解析により得られる解析情報(例) データフロー 制御フロー 抽象構文木 クラス階層 … 問題点 既存のプログラム解析手法は、 解析精度の向上 ある解析対象に特化した手法の提案及び実装 を重視してきた (a) 解析の効率 (b) 解析コストと解析精度のトレードオフ制御 (c) 解析情報の二次利用 への配慮が不足している (a) 効率 プログラミング言語の高級化、プログラムの大規模化 解析コストの増大 目標 解析アルゴリズムの効率化 解析手順の効率化 (b) トレードオフ制御 解析コストと解析精度はトレードオフ関係 解析コストを抑えると、解析精度が低下する 解析精度を向上させると、解析コ