文献

J-GLOBAL ID：202002250246820964   整理番号：20A1714672

DepTaint プログラム依存性に基づく静的なタイント解析法【JST・京大機械翻訳】

DepTaint A Static Taint Analysis Method Based on Program Dependence

著者 (5件)： Li Binbin (School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China) ,  Ma Rui (School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China) ,  Wang Xuefei (School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China) ,  Wang Xiajing (School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China) ,  He Jinyuan (School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China)
資料名： ACM Proceedings  (ACM Proceedings)
号： ICMSS 2020  ページ： 34-41  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： すべての可能な実行経路を考慮することによって実行の前に静的タイント解析を行うので,プログラム実行の前に潜在的セキュリティ問題を発見することができる。現在,多くの暗黙分析ツールは,プログラムにおけるデータ依存性に多くの注意を払っている。しかし,制御依存性に基づく陰的流れ解析は,その複雑性に必ずしも考慮されていない。したがって,本論文では,LLVMの静的チェッカーを拡張するDepTaintと名付けた静的暗黙解析法を提案し,プログラムにおけるデータおよび制御依存性を含むプログラム依存性に焦点を当てた。DepTaintは,明示的な流れと陰的流れに沿って伝播するタイント変数を分析し,特に,明示的な流れ解析におけるアンダーテントを扱う。著者らの評価は,データおよび制御依存性を含む8つのプログラムおよび8つのプログラムが,異なる一般的脆弱性(即ち,アレイ限界,二重自由,フォーマットストリング脆弱性,ヒープオーバフロー,整数オーバフロー,スタックオーバフロー,およびUAF)を注入する,DepTaintは,標識タイント変数およびより微細な結晶粒のタイント伝搬経路の達成において,LLVMの静的チェッカーよりも著しく優れていることを実証した。特に,分岐選択とループ構造を含むプログラムでは,平均マーク2Xと3.6Xタイント変数に関するDepTaintは,LLVMの静的チェッカーよりも高い。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 結晶粒 ,  プログラム実行 ,  オーバフロー ,  流動解析 ,  *ヒープ ,  セキュリティ ,  ループ構造
準シソーラス用語： 脆弱性 ,  複雑性 ,  データ依存性 ,  LLVM , 【Automatic Indexing@JST】

著者キーワード (5件)： LLVM ,  制御依存性 ,  陰流 ,  プログラム依存性 ,  静的汚れ解析

分類 (2件)： 計算機システム開発  (JD02010R) ,  データ保護  (JD01020V)

タイトルに関連する用語 (2件)： 依存性 ,  解析法