文献

J-GLOBAL ID：202202243748863393   整理番号：22A1105049

共生9:ループ折畳み(競合寄与)によるストリング解析と後方記号実行【JST・京大機械翻訳】

Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution)

著者 (5件)： Chalupa Marek (Masaryk University, Brno, Czech Republic) ,  Mihalkovic Vincent (Masaryk University, Brno, Czech Republic) ,  Rechtackova Anna (Masaryk University, Brno, Czech Republic) ,  Zaoral Lukas (Masaryk University, Brno, Czech Republic) ,  Strejcek Jan (Masaryk University, Brno, Czech Republic)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13244  ページ： 462-467  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： Symbiotic 9の開発は,主に2つの成分に焦点を合わせた。1つは,ループ折りたたみと呼ばれるその拡張を含む後方記号実行を新たにサポートする記号的エクセクタSlowbastである。この技術は後方記号実行状態から誘導不変量を推論できる。これらの不変量のおかげで,Symbiotic 9は,Symbioticの以前のバージョンで欠落する特徴である,自明でない正当性を産み出すことができる。また,並列プログラムのための基本的なサポートで,Slowbastにおける記号的実行を拡張した。重要な改良を有する第2の成分は,装置モジュールであった。特に,Cストリングを操作するプログラム用に設計された特徴を持つアレイへのアクセスの静的解析を拡張した。共生9はSV-COMP2022の全体的な勝者である。さらに,それはまた,カテゴリーMemSafetyとソフトウェアSystemsで,そして,Falsific Overallの3番目を配置した。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 競争 ,  特性 ,  *記号 ,  *ループ ,  *折畳み ,  ソフトウェア ,  不変量 ,  プログラム解析
準シソーラス用語： 静的解析 ,  並列プログラム , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (6件)： 共生 ,  ループ ,  折畳み ,  競合 ,  解析 ,  記号