文献

J-GLOBAL ID：202002265142295651   整理番号：20A2580851

動的制御フローからの入力文法のマイニング【JST・京大機械翻訳】

Mining input grammars from dynamic control flow

著者 (3件)： Gopinath Rahul (CISPA, Germany) ,  Mathis Bjorn (CISPA, Germany) ,  Zeller Andreas (CISPA, Germany)
資料名： ACM Proceedings  (ACM Proceedings)
号： ESEC/FSE 2020  ページ： 172-183  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プログラムの重要な特性の一つはその入力仕様である。形式的入力仕様は,脆弱性解析,リバースエンジニアリング,ソフトウェア試験,クローン検出,またはリファクタリングのような分野で重要である。残念なことに,典型的なプログラムのための正確な入力仕様は,しばしば入手できないか,または,今までのところである。本論文では,プログラムとサンプル入力の小さい集合を取り上げ,プログラムの入力言語を捕捉する可読文脈フリー文法を自動的に推論する一般的アルゴリズムを提案した。入力パーザの異なる位置における入力特性のアクセスを観察することによって,構文入力構造を推論する。これは,すべてのスタックベースの再帰的降下入力パーザ,パーザ結合器を含み,プログラム特異的ヒューリスティックスなしで完全に動作する。著者らのMimidプロトタイプは,JSON,TinyC,およびJavaScriptのような複雑な言語を含む,様々な評価対象のための正確で可読な文法を生成した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  言語 ,  結合器 ,  *文法 ,  発見的方法 ,  ソフトウェア ,  リバースエンジニアリング ,  動的解析 ,  プロトタイプ
準シソーラス用語： パーザ ,  動的制御 ,  制御フロー ,  Javaスクリプト ,  リファクタリング ,  構文 , 【Automatic Indexing@JST】

著者キーワード (5件)： 文脈自由文法 ,  制御フロー ,  データフロー ,  動的解析 ,  ファジィ化

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

タイトルに関連する用語 (3件)： 動的制御 ,  フロー ,  文法