module Value_parameters:sig
..end
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
.