Question

I am trying to install STAC to perform taint analysis. I have installed the per-requisite for STAC which is frama-c. Then I checkout the svn from http://code.google.com/p/tanalysis/

When I run make from inside the tanalysis directory. It lands into couple of problems finding difficult to include libraries for Cil.

    Unbound Cil

I fix the path by adding

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

But again when I run make, it gives an error

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

Please help me to build STAC and do the taint analysis.

Answer 1

Looks like a bug in STAC’s Makefile.

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

should be replaced by (not tested)

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

There’s absolutely no reason that FRAMAC_LIBDIR should be a subdirectory of FRAMAC_SHARE.