static-analysis - Jessie 插件与 Frama-c Aluminum 的集成

Question

如何将 Jessie 一个外部插件（为什么是 2.36）与 Frama-c Aluminium 集成？

Answer 1

你不能。为什么 2.36 只与 Frama-C Magnesium 兼容。但是，Why 的 git 存储库的主分支似乎与 Frama-C Aluminum 兼容（免责声明：我只检查了插件是否可以正常编译，但没有尝试对其进行任何证明）。

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 ]