文献

J-GLOBAL ID：201102263486586096   整理番号：11A1196007

動的怠惰な分析に基づく複数の実行経路の探査

Exploring Multiple Execution Paths Based on Dynamic Lazy Analysis

著者 (3件)： CHEN Kai (Graduate Univ. of Chinese Acad. of Sciences, Beijing) ,  FENG Deng-Guo (Graduate Univ. of Chinese Acad. of Sciences, Beijing) ,  SU Pu-Rui (Inst. of Software,Chinese Acad. of Sciences, Beijing)
資料名： Jisuanji Xuebao  (Jisuanji Xuebao)
巻： 33  号： 3  ページ： 493-503  発行年： 2010年 
JST資料番号： C2531A  ISSN： 0254-4164  CODEN： JIXUDT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 複数の実行経路を探査することは,実行可能なファイルを分析する重要な方法である。多くの研究者使用が入力をランダムに発生させた。または,プログラム経路を探査する経路条件で入力を構成する。これらの方法は2つの欠点に見舞われる;分析するあまりに多くの無駄な経路があるが,それらはすべての経路を分析できるというわけではない。本論文は,弱い制御依存と経路参照集合を導入し,経路条件を分析する。また,それはチェック状態の基本的3種類の要素を確実にする。怠惰な分析を,これらの定義と理論に基づいて提案し,複数の実行経路を探査する。プログラムを分析するとき,それは適切な分岐条件を選ぶことができ,プログラム検査点に従って経路を探査する。このように,プログラムを保証するどんな必要条件も逃さずに,経路条件の数は減少でき,検査点と同じ構造を持つチェック状態に駆けつける。試作を実行し,7個のマルウェアに関して,いくつかの実験をする。堕落分析を,総合的分析プロセスで堕落したファイルを処理するような空間からの入力をたどることに使用する。また,シャドーメモリを,管理速度を増強することに利用する。結果は,複数の経路を探査するとき,方法が経路条件の数を減少させて,効率を増強することを示している。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *数 ,  *プログラム検査 ,  ソフトウェア ,  点検 ,  必要条件 ,  計算機ファイル ,  記憶装置 ,  集合 ,  枝分れ ,  分類 ,  マルウェア
準シソーラス用語： *複数 ,  チェック ,  ファイル ,  メモリ ,  分岐

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 分析 ,  経路 ,  探査