| Item type |
Symposium(1) |
| 公開日 |
2019-10-14 |
| タイトル |
|
|
タイトル |
コンパイラ最適化がテイント解析に与える影響と解析性能向上 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Effects of Compiler Optimization on Taint Analysis and Its Performance Enhancement |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
テイント解析，コンパイラ最適化，LLVM，暗黙的フロー |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
名古屋工業大学 |
| 著者所属 |
|
|
|
名古屋工業大学 |
| 著者所属 |
|
|
|
名古屋工業大学 |
| 著者所属 |
|
|
|
立命館大学 |
| 著者所属 |
|
|
|
立命館大学 |
| 著者所属 |
|
|
|
名古屋工業大学 |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya Institute of Technology |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya Institute of Technology |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya Institute of Technology |
| 著者所属(英) |
|
|
|
en |
|
|
Ritsumeikan University |
| 著者所属(英) |
|
|
|
en |
|
|
Ritsumeikan University |
| 著者所属(英) |
|
|
|
en |
|
|
Nagoya Institute of Technology |
| 著者名 |
林, 優香
稲吉, 弘樹
掛井, 将平
毛利, 公一
瀧本, 栄二
齋藤, 彰一
|
| 著者名(英) |
Yuka, Hayashi
Hiroki, Inayoshi
Shohei, Kakei
Koichi, Mouri
Eiji, Takimoto
Shoichi, Saito
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
個人情報やプライバシに関わる機密データを電子化して扱う機会が増え，その漏洩の危険も高まっている．機密データの漏洩の有無を確認する方法の1つにテイント解析がある．テイント解析では，データが変数間を伝播する道筋を追跡することで漏洩の判定を行う．一方で，ソースファイルから実行ファイルを生成する際には，プログラム実行時間の最小化，使用するメモリ量の最小化等を目的としたコンパイラ最適化を施すことが一般的である．最適化手法によっては変数の除去や定数化のような処理が含まれる場合があり，変数を辿るテイント解析に影響する可能性が考えられる．本稿では，テイント解析とコンパイラ最適化の関係性について調査を行い，解析に影響を与える最適化を明らかにした．また，コンパイラ最適化をテイント解析に活用する手法を提案し，一部の最適化手法に対して実際に提案手法の実装と評価を行った． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Increasing computerization of privacy sensitive or confidential information has amplified risks of information leakage in recent years. In the circumstances, taint analysis is used to track information propagating among variables and detect information leakage. Meanwhile, in compilation process of a program, compiler optimization is commonly used to minimize processing times and the amount of memory used. However, some of compiler optimization techniques remove variables in the original source code and replace it with immediate values that can cause implicit information flows and make taint analysis impracticable. In this paper, we investigate and declare the effects of compiler optimization on taint analysis. Furthermore, we propose a method that leverages compiler optimization to enhance taint analysis. We implemented and evaluated it on programs containing implicit information flows. |
| 書誌レコードID |
|
|
|
識別子タイプ |
NCID |
|
|
関連識別子 |
ISSN 1882-0840 |
| 書誌情報 |
コンピュータセキュリティシンポジウム2019論文集
巻 2019,
p. 990-997,
発行日 2019-10-14
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJCSS2019139.pdf (489.3 kB)
