Frama-C:

Plug-ins:

Libraries:

Frama-C API - `Mode`

module Callers : Frama_c_kernel.Parameter_sig.Bool

module Calls : Frama_c_kernel.Parameter_sig.Int

module SliceUndef : Frama_c_kernel.Parameter_sig.Bool

module KeepAnnotations : Frama_c_kernel.Parameter_sig.Bool

Frama-C API - Mode