Androidアプリケーションのテイント解析における例外処理を考慮した制約の精度の向上

• Item type: Symposium(1)
• 公開日: 2021-10-19
• タイトル: Androidアプリケーションのテイント解析における例外処理を考慮した制約の精度の向上
• タイトル / 言語: en
• タイトル: Improving the Accuracy of Constraints on Exceptions in Static Taint Analysis of Android Applications
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: Android，テイント解析，静的解析，制約演算
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 名古屋工業大学大学院工学研究科
• 著者所属: 名古屋工業大学大学院工学研究科
• 著者所属: 名古屋工業大学大学院工学研究科
• 著者所属: 名古屋工業大学大学院工学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Nagoya Institute of Technology
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Nagoya Institute of Technology
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Nagoya Institute of Technology
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Nagoya Institute of Technology
• 著者名: 大西, 導徳; 稲吉, 弘樹; 掛井, 将平; 齋藤, 彰一
• 著者名(英): Michinori, Ohnishi; Hiroki, Inayoshi; Shohei, Kakei; Shoichi, Saito
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: マルウェアを用いて機密情報を狙った攻撃が増加している．そのため，アプリケーションからどのような情報がリークするかを検知する手法が必要となる．その一つに静的テイント解析が挙げられる．静的テイント解析は動的テイント解析と比較してコードカバレッジが広い．しかし，検出されたリークが，実際にアプリケーションを動作させても発生しない場合がある．これは，リークがどのような条件が満たされた場合に発生するかという制約を考慮していないことが原因である．ここで，静的テイント解析ツールと組み合わせてリークの制約を求めるツールは存在するが，例外処理のフローについては必ず実行されるものとして扱われており，例外の制約を考慮していない．本稿では例外発生時のフローを考慮した制約条件を求める手法を提案する．既存の制約演算ツールを拡張し，例外が発生する可能性のある命令を検知して，その例外処理のフローに制約を与え，制約条件の精度を向上させる．これにより，例外の制約によってリークが発生しない可能性があることを解析者に示し，リーク対応のコストを下げる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Malware that targets sensitive information is on the rise. Therefore, it is necessary to have a method to detect information leakage from applications. One such method is static taint analysis. It has wider code coverage than dynamic taint analysis. However, in some cases, the leakage does not occur because it does not consider the constraint conditions under which leaks occur. Here, some tools obtain constraint conditions for leaks. Still, they do not consider exception occurrence conditions and treat exception handling flow as always performed flows. This paper proposes a method for obtaining constraint conditions that consider the conditions under which exception handling flows occur. Extending an existing constraint computation tool gets constraint of the exception handling flow and improves accuracy. Our method indicates to the analyst which exceptions may not cause leakage, thereby reducing the cost of leak handling.
• 書誌情報: コンピュータセキュリティシンポジウム2021論文集; p. 952-959, 発行日 2021-10-19
• 出版者 / 言語: ja
• 出版者: 情報処理学会