3

汚染分析を実行するために STAC をインストールしようとしています。私はframa-cであるSTACの必要条件ごとにインストールしました。次に、 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 に答える