Jessie插件与Frama-c铝的集成

Question

如何集成 Jessie外部插件（为什么2.36）与 Frama-c铝？

Answer 1

你不能。为什么2.36只与Frama-C镁兼容。然而，Why的git仓库的主分支似乎与Frama-C Aluminium兼容（声明：我只检查了插件编译正常，但没有试图用它做任何证明）。

Git仓库，位于https://scm.gforge.inria.fr/anonscm/git/why/why.git/它可以通过以下步骤进行安装：

git clone https://scm.gforge.inria.fr/anonscm/git/why/why.git/ cd why autoconf ./configure [--prefix=MY_LOCAL_INSTALL] make [sudo] make install Optionnally，如果你使用OPAM，也可以安装为一个固定版本的原因： opam pin add why --kind git --edit https://scm.gforge.inria.fr/anonscm/git/why/why.git/ [ you will be able to edit the opam instruction file: change the version number to something like 9999 and add ["autoconf"] at the top of the list of build steps ]