Frama-C:

Plug-ins:

Libraries:

Frama-C API - `Options`

module DoShift : Frama_c_kernel.Parameter_sig.Bool

module DoDivMod : Frama_c_kernel.Parameter_sig.Bool

module DoFloatToInt : Frama_c_kernel.Parameter_sig.Bool

module DoInitialized : Frama_c_kernel.Parameter_sig.Kernel_function_set

module DoMemAccess : Frama_c_kernel.Parameter_sig.Bool

module DoPointerCall : Frama_c_kernel.Parameter_sig.Bool

module Trivial : Frama_c_kernel.Parameter_sig.Bool

Frama-C API - Options