Frama-C API - Red_statuses
This modules stores the alarms and properties for which a red status has been emitted.
val add_red_alarm : Frama_c_kernel.Cil_types.kinstr -> Frama_c_kernel.Alarms.t -> unitval add_red_property : Frama_c_kernel.Cil_types.kinstr -> Frama_c_kernel.Property.t -> unitmodule AlarmOrProp : Frama_c_kernel.Datatype.S with type t := alarm_or_propertyval is_red : Frama_c_kernel.Property.t -> boolval is_red_in_callstack : Frama_c_kernel.Cil_types.kinstr -> alarm_or_property -> Callstack.t -> boolval get_all : unit -> (Frama_c_kernel.Cil_types.kinstr * alarm_or_property * int) listval register_hook : (alarm_or_property -> unit) -> unit