Frama-C:
Plug-ins:
Libraries:

Frama-C API - Pointer_downcast

val is_computed : Frama_c_kernel.Kernel_function.t -> bool
val set : Frama_c_kernel.Kernel_function.t -> bool -> unit
val accessor : status_accessor