@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00201432,
 author = {林, 優香 and 稲吉, 弘樹 and 掛井, 将平 and 毛利, 公一 and 瀧本, 栄二 and 齋藤, 彰一 and Yuka, Hayashi and Hiroki, Inayoshi and Shohei, Kakei and Koichi, Mouri and Eiji, Takimoto and Shoichi, Saito},
 book = {コンピュータセキュリティシンポジウム2019論文集},
 month = {Oct},
 note = {個人情報やプライバシに関わる機密データを電子化して扱う機会が増え，その漏洩の危険も高まっている．機密データの漏洩の有無を確認する方法の1つにテイント解析がある．テイント解析では，データが変数間を伝播する道筋を追跡することで漏洩の判定を行う．一方で，ソースファイルから実行ファイルを生成する際には，プログラム実行時間の最小化，使用するメモリ量の最小化等を目的としたコンパイラ最適化を施すことが一般的である．最適化手法によっては変数の除去や定数化のような処理が含まれる場合があり，変数を辿るテイント解析に影響する可能性が考えられる．本稿では，テイント解析とコンパイラ最適化の関係性について調査を行い，解析に影響を与える最適化を明らかにした．また，コンパイラ最適化をテイント解析に活用する手法を提案し，一部の最適化手法に対して実際に提案手法の実装と評価を行った．, 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.},
 pages = {990--997},
 publisher = {情報処理学会},
 title = {コンパイラ最適化がテイント解析に与える影響と解析性能向上},
 volume = {2019},
 year = {2019}
}