文献

J-GLOBAL ID：201802243229517042   整理番号：18A0447907

不安:動的記号実行フレームワーク【Powered by NICT】

Anxiety: A Dynamic Symbolic Execution Framework

著者 (7件)： Gerasimov Alexander ,  Vartanov Sergey ,  Ermakov Mikhail ,  Kruglov Leonid ,  Kutz Daniil ,  Novikov Alexander ,  Asryan Seryozha
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ISPRAS  ページ： 16-21  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,ロシア科学アカデミー(ISP RAS)のシステムプログラミングのためのIvannikov研究所で開発された不安モジュール動的記号実行(DSE)フレームワークを提案した。もう一つのDSEフレームワークを作る場合の主要な目的は,ISP RASでのDSEに前進する研究,異なるオペレーティングシステムとプラットフォームのための分析支援を提供し,この枠組みの上にプログラム解析の広域におけるDSEの応用のための研究を継続した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *オペレーティングシステム

分類 (1件)： オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (2件)： 記号 ,  フレームワーク