package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Eva.ParametersSource

Configuration of the analysis.

Sourceval enabled_domains : unit -> (string * string) list

Returns the list (name, descr) of currently enabled abstract domains.

Sourceval use_builtin : Frama_c_kernel.Cil_types.kernel_function -> string -> unit

use_builtin kf name instructs the analysis to use the builtin name to interpret calls to function kf. Raises Not_found if there is no builtin of name name.

Sourceval use_global_value_partitioning : Frama_c_kernel.Cil_types.varinfo -> unit

use_global_value_partitioning vi instructs the analysis to use value partitioning on the global variable vi.