[論文レビュー] DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications

Yepang Liu, Lili Wei+2 more|arXiv (Cornell University)|Nov 24, 2016

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

ひとこと要約

本稿では、F-Droidにホストされている34の大型オープンソースAndroidアプリから抽出された124,215件のコードリビジョンを対象に、298件の実世界のリソースリークバグを含むDroidLeaksを紹介する。著者らは、実証的分析を通じて共通する欠陥パターンと根本原因を同定し、同様のリークを検出可能な静的チェッカーを実装することでベンチマークを検証した。

ABSTRACT

Resource leak bugs in Android apps are pervasive and can cause serious performance degradation and system crashes. In recent years, several resource leak detection techniques have been proposed to assist Android developers in correctly managing system resources. Yet, there exist no common bug benchmarks for effectively and reliably comparing such techniques and quantitatively evaluating their strengths and weaknesses. This paper describes our initial contribution towards constructing such a benchmark. To locate real resource leak bugs, we mined 124,215 code revisions of 34 large-scale open-source Android apps. We successfully found 298 fixed resource leaks, which cover a diverse set of resource classes, from 32 out of the 34 apps. To understand the characteristics of these bugs, we conducted an empirical study, which revealed the root causes of frequent resource leaks in Android apps and common patterns of faults made by developers. With our findings, we further implemented a static checker to detect a common pattern of resource leaks in Android apps. Experiments showed that the checker can effectively locate real resource leaks in popular Android apps, confirming the usefulness of our work.

研究の動機と目的

• Androidリソースリーク検出手法を評価するための標準的で実世界のベンチマークが不足しているという問題に取り組む。
• 大規模で適切にメンテナンスされているAndroidアプリケーションに存在する、実際の修正済みリソースリークバグを同定および収集する。
• Androidアプリケーションにおけるリソースリークの背後にある根本原因と共通する欠陥パターンを分析する。
• 同様のリークを検出可能な静的チェッカーを実装・評価することで、収集したバグの有用性を検証する。
• 包括的で代表的なベンチマークを提供することで、将来の自動リソースリーク検出および修復に関する研究を支援する。

提案手法

• F-Droidにホストされている34の大型オープンソースAndroidアプリから124,215件のコードリビジョンを収集し、リソースリークの修正を特定する。
• パッチおよびバグレポートを手動で検証し、リソースリークの存在を確認するとともに、詳細なメタデータを収集する。
• リソースタイプ、バグの位置、パッチの内容、イシュートラッキングシステムへの記録有無の観点からリークを分類する。
• 298件のバグを対象に実証的調査を実施し、欠陥パターンと根本原因を分析する。
• 同定された共通する欠陥パターンに基づいて静的チェッカーを実装し、他のアプリケーションにおける同様のリークを検出する。
• 代表的なAndroidアプリケーションに対してチェッカーを評価し、実世界での検出効果を測定する。

実験結果

リサーチクエスチョン

• RQ1 どの種類のシステムリソースがリークしているのか。その結果として生じる影響は何か。これはAndroidに特有のものなのか。
• RQ2 開発者はリソースを完全に解放することを忘れているのか、それとも特定の実行パスや例外パスでのみ解放を忘れているのか。
• RQ3 開発者が繰り返し行う欠陥パターンが、リソースリークを引き起こす要因となっているのか。
• RQ4 収集したベンチマークは、既存および将来の検出手法の評価において、どれほど代表的で包括的なのか。

主な発見

• 298件のリソースリークのうち64.1％（191件）が、複雑なイベント駆動型の制御フローにより、開発者がリソースを完全に解放することを完全に忘れていることによるものであった。
• 全298件のリークのうちたった4.7％（14件）しかイシュートラッキングシステムに記録されておらず、コードリポジトリのマイニングの重要性が浮き彫りになった。
• 予期しないユーザー操作や環境要因の相互作用が頻繁にリークを引き起こすなど、5つの根本原因が同定された。
• 3つの共通する欠陥パターンが特定された：APIの誤用、リソースオブジェクトへの参照を失うこと、制御フローにおける不完全なクリーンアップ。
• ベンチマークは最近の検出ツールで使用されるすべてのリソースタイプをカバーしており、さらに追加のタイプも含んでいることから、包括的で代表的であることが確認された。
• 実装された静的チェッカーは、人気のあるAndroidアプリケーションにおいて実際のリソースリークを効果的に検出できた。これにより、DroidLeaksベンチマークの実用性が裏付けられた。