Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Frama-C を調べて、アサーション ベースのスライス (ACSL 表記を使用) を適用したいと考えています。Frama-C にはいくつかの異なる機能を備えたいくつかの異なるバージョンがあることがわかりました。私の質問は、Frama-C へのスライシング プラグインを開発し、Frama-C によって作成された AST を操作するのに最適なバージョンはどれかということです。