[論文レビュー] NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java

Benoit Cornu, Thomas Durieux+2 more|arXiv (Cornell University)|Dec 23, 2015

Software Testing and Debugging Techniques参考文献 14被引用数 24

ひとこと要約

NPEFix は、実行時に Java で null ポ인터例外（NPE）を自動的に修復する動的でコード変換ベースのアプローチであり、障害を引き起こす可能性のある NPE が検出された際に、デフォルトオブジェクトの挿入や問題のあるコードのスキップなど、9 つの代替実行戦略を適用する。本手法は、11 件の実世界の現場バグのうち 10 件を修復し、519 件の意図的な NPE のうち 318 件を修復した。メソッドレベルでのスキップが最も効果的な戦略であった。

ABSTRACT

Null pointer exceptions, also known as null dereferences are the number one exceptions in the field. In this paper, we propose 9 alternative execution semantics when a null pointer exception is about to happen. We implement those alternative execution strategies using code transformation in a tool called NPEfix. We evaluate our prototype implementation on 11 field null dereference bugs and 519 seeded failures and show that NPEfix is able to repair at runtime 10/11 and 318/519 failures.

研究の動機と目的

• Java や C を基盤とするシステムでクラッシュの主な原因である null ポインタ例外（NPE）という広範な問題に対処するため、静的防止ではなく、自動的な実行時修復を可能にする。
• null デリファレンスが発生する可能性がある状況において、代替実行意味論を提供する 9 つの実行時修復戦略を設計・評価する。
• ソースコード変換を用いて、実行時に検出と修復のフックを挿入するプロトタイプツール NPEFix を実装する。
• 実世界の現場バグと意図的に仕掛けた null デリファレンス障害の両方に対して、これらの戦略の有効性を実証的に評価する。

提案手法

• NPEFix は、実行時に障害を引き起こす可能性のある null デリファレンスが発生する前に検出するためのチェックを挿入するために、ソースコード変換を用いる。
• try-catch ブロックの動的スタックモデルを維持し、キャッチされた NPE とキャッチされない NPE を区別する。障害を引き起こすのは、キャッチされない NPE のみを対象とする。
• 9 つの異なる修復戦略を実装：オブジェクトの挿入用に 4 つ（ローカル/グローバル、再利用/新規作成）、ステートメント・メソッドのスキップ用に 4 つ、デフォルト値を返す用に 1 つ。
• 実行時の文脈に応じて、これらの戦略を動的に構成・有効化する。
• 検出ロジックの挿入と修復メカニズムへのフックを実現するため、Java ソースコードに変換を適用する。
• 評価は、オープンソースプロジェクトから得た 11 件の実世界の現場 NPE と、すべての null チェックを削除し、テストスイートを実行することで意図的に仕掛けた 519 件の NPE に対して実施された。

実験結果

リサーチクエスチョン

• RQ1 クラッシュを回避するための設定可能な実行戦略を用いて、自動的な実行時修復が null ポインタ例外に対して達成可能か？
• RQ2 提示された 9 つの修復戦略（オブジェクトの挿入、ステートメントのスキップ、メソッドのスキップ）の中で、実際の現場で最も効果的なのはどれか？
• RQ3 NPEFix のアプローチは、実世界の現場で報告された null ポインタ例外の修復において、意図的に仕掛けた障害よりも効果的か？
• RQ4 どの程度の割合で、修復後にさらなる実行時エラーが発生するか。これは、修復後の状態に不安定性が生じる可能性を示唆する。

主な発見

• NPEFix は、11 件の実世界の現場で報告された null ポインタ例外のうち 10 件を正常に修復し、実用的な適用性が強く裏付けられた。
• 意図的に仕掛けた障害の評価では、519 件の null デリファレンス障害のうち 318 件が修復され、修復率は 61.3% を記録した。
• メソッドレベルでのスキップが最も効果的な戦略であり、11 件の現場バグのうち 9 件、519 件の意図的障害のうち 210 件を修復した。
• 既存の互換性のあるオブジェクトをローカルまたはグローバルに挿入する戦略は効果的であり、特にグローバル挿入は多様なコードベースに広く適用可能であった。
• 利用可能な互換性のある既存オブジェクトが存在しない場合に備えて、新たに作成されたオブジェクトを挿入する戦略（S2a/S2b）は、実用的なフォールバックとして有効であった。
• 修復に成功したにもかかわらず、519 件の意図的障害のうち 104 件で修復後にさらなる実行時エラーが発生し、一部のケースでは修復後の状態に不安定性が生じる可能性があることが示された。