3

我正在尝试安装 STAC 来执行污点分析。我已经安装了 STAC 的必备组件，即 frama-c。然后我从http://code.google.com/p/tanalysis/签出 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 并进行污点分析。

4

1 回答 1

4

看起来像 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 的子目录。

于 2012-10-01T13:11:49.550 回答