Environment VariablesΒΆ

Some environment variables may be used to configure the behavior of TrustInSoft Analyzer:

CPP
  • command to use to preprocess the source file
  • default: clang -E -C -I.
TIS_ADVANCED_FLOAT
  • set to 1 to use the advanced floating point domain (see Floating-point)
  • default: 0
TIS_EXTRA_OCAML_LIBS
  • libraries that may be used in scripts (cf. -load-script option)
  • default: yojson:ocamlgraph:zarith
TIS_KERNEL_LIB
  • directory where the TrustInSoft Kernel kernel library is.
  • default: TIS_HOME/lib/tis-kernel
TIS_KERNEL_MEMORY_FOOTPRINT
TIS_KERNEL_PLUGIN
  • directory where the TrustInSoft Kernel dynamic plug-ins are.
  • default: TIS_HOME/lib/tis-kernel/plugins
TIS_KERNEL_SHARE
  • directory where architecture independent files are.
  • default: TIS_HOME/share/tis-kernel
TIS_OCAMLFIND
  • path to ocamlfind
  • default: ocamlfind