ubuntu - 在 Ubuntu 上安装 STAC

Question

我正在尝试安装 STAC 来执行污点分析。我已经安装了 STAC 的必备组件，即 frama-c。然后我从 http://code.google.com/p/tanalysis/ check out svn

当我从 tanalysis 目录中运行 make 时。它陷入了几个问题，发现很难包含 Cil 的库。

    Unbound Cil

我通过添加来修复路径

   -I /usr/local/share/frama-c/lib -I /usr/local/lib/ocaml/3.12.1/cil/

但是当我运行 make 时，它​​再次给出错误

b/ocaml/3.12.1/cil/ -I /usr/lib/frama-c/ -c ptranal.ml
File "ptranal.ml", line 135, characters 36-43:
Error: This expression has type Cil_types.lhost * Cil_types.offset
   but an expression was expected of type
     Cil.lval = Cil.lhost * Cil.offset
make: *** [ptranal] Error 2

请帮助我构建 STAC 并进行污点分析。

Answer 1

看起来像是 STAC 的 Makefile 中的错误。

CFLAGS=-I $(FRAMAC_SHARE)/lib -c

应替换为(未测试)

FRAMAC_LIBDIR:=$(shell frama-c -print-lib-path)
CFLAGS=-I $(FRAMAC_LIBDIR) -c

FRAMAC_LIBDIR 绝对没有理由成为 FRAMAC_SHARE 的子目录。