動的データフローグラフを用いた混乱実行からの入力依存ジャンプの同定【JST・京大機械翻訳】

Hwang Joonhyung; Han Taisook

文献

J-GLOBAL ID：202002230085516923 整理番号：20A1999354

動的データフローグラフを用いた混乱実行からの入力依存ジャンプの同定【JST・京大機械翻訳】

Identifying Input-Dependent Jumps from Obfuscated Execution using Dynamic Data Flow Graphs

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1999354&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (2件)： ,
資料名：
号： SSPREW-8 ページ： 1-12 発行年： 2018年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

混乱した機械コードの実行から入力依存ジャンプを同定する方法を示した。ターゲットアドレスが入力に依存して変化するジャンプとして定義される入力依存ジャンプは,プログラム実行における決定点に対応する。目標アドレスを計算する方法を調べることにより,与えられた挙動のトリガ条件を特定することができ,目標アドレスを変える入力値を見つけることによって新しい実行経路を見つけることができる。混乱は,コードに一定の値を有する不透明な述語を使用する多数の人工ジャンプを挿入することによって,そのような解析を妨げる。ひとつの重要な混乱アプローチは仮想化-混乱であり,その中で,制御フロー情報の全体の一括をバイトコード解釈器コードで置き換えた。元のプログラムの意味論を混乱の下で保存しなければならないという事実を用いて,著者らは,コンクリートと記号情報を用いて出力計算を表現する動的データフローグラフを用いて,オリジナルと混乱した実行の間の関係を利用する混乱軽減アプローチを提案した。これらのグラフは,動的バイナリ機器を用いて記録された実行トレースから生成され,代数的アイデンティティに基づくパターンベースルールとよく行動されたプログラムの一般的な性質を用いて単純化される。入力依存ジャンプを同定するために,動的データフローグラフを生成し,プログラムカウンターへの各書き込みアクセスに対して単純化した。目標アドレスのためのノードが,得られたグラフの入力値のためにノードから到達可能であれば,ジャンプは入力依存性である。種々のオフューザで処理されるコードに対する提案手法の実験的な応用は,元のおよび混乱した実行における入力依存ジャンプの間の関係を明らかにし,動的データフローグラフから得られた情報が,分岐条件の理解に有用であることを確認した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , ,
, , , , 【Automatic Indexing@JST】

著者キーワード (4件)： , , ,

データ保護 , 計算機システム開発

, , ,

前のページに戻る