文献

J-GLOBAL ID：201802213105653330   整理番号：18A0655596

動的イラストに基づくJavaScriptの逆実行のための1つの方法【JST・京大機械翻訳】

JavaScript Counterfactual Execution Method Based on Dynamic Instrumentation

著者 (5件)： Gong Weigang (数据工程与知識工程教育部重点実験室(中国人民大学) 北京100872) ,  You Wei (中国人民大学信息学院 北京100872) ,  Li Zan (数据工程与知識工程教育部重点実験室(中国人民大学) 北京100872) ,  Shi Wenchang (数据工程与知識工程教育部重点実験室(中国人民大学) 北京100872) ,  Liang Bin (数据工程与知識工程教育部重点実験室(中国人民大学) 北京100872)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 44  号： 11  ページ： 22-26,49  発行年： 2017年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 現在、静的分析技術はJavaScriptプログラムの安全性分析に広く応用されている。しかし,JavaScriptは,evalらの方法によって実行時に動的にコードを生成し,静的解析だけでは動的にコードを生成することが困難である.1つの実行可能な解決方法は動的に目標プログラムを実行することによって動的にコードを生成し、それに対して静的分析を行うことである。しかし,動的実行目標プログラムは,限られた実行経路をカバーするだけで,他の実行経路における動的生成コードを見逃すことができる。この問題を解決するために,動的内挿法に基づく逆実行法を実現した。この方法はJavaScriptエンジンを修正することにより、その構文解析段階において逆事実実行体を動的に挿入し、条件が成立しない分岐経路と現在の実行経路をすべて実行できる。このソケット方式により,evalなどのメソッドを埋め込んでも,その動的生成コードにおいてソケットを完成させることができる.同時に、必要なundo方法を実現し、逆事実の実行中における代入操作による影響を除去し、かつ冗長操作を避けることができる。実験結果は,この方法が動的解析における実行経路のカバーを効果的に拡大することができることを示した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 構文分析 ,  *動的解析 ,  安全解析 ,  内挿法 ,  冗長性
準シソーラス用語： 静的解析 ,  *Javaスクリプト , 【Automatic Indexing@JST】

著者キーワード (4件)： Counterfactual execution ,  Path coverage ,  Dynamic analysis ,  JavaScript

分類 (2件)： 計算機システム開発  (JD02010R) ,  言語プロセッサ  (JD03040F)

タイトルに関連する用語 (2件)： イラスト ,  JavaScript