module Parameters:sig
..end
Configuration of the analysis.
val enabled_domains : unit -> (string * string) list
Returns the list (name, descr) of currently enabled abstract domains.
val use_builtin : 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
.
val use_global_value_partitioning : Cil_types.varinfo -> unit
use_global_value_partitioning vi
instructs the analysis to use
value partitioning on the global variable vi
.