slice - スライス プラグインの開発に最適な Frama-C のバージョンはどれですか?

Question

Frama-C を調べて、アサーション ベースのスライス (ACSL 表記を使用) を適用したいと考えています。Frama-C にはいくつかの異なる機能を備えたいくつかの異なるバージョンがあることがわかりました。私の質問は、Frama-C へのスライシング プラグインを開発し、Frama-C によって作成された AST を操作するのに最適なバージョンはどれかということです。