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 可选地，如果您正在使用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 ]