Frama-C:
Plug-ins:
Libraries:

Frama-C API - Rte

Accessing the RTE plug-in easily.

RTEs of a given stmt, as a list of code annotations.

RTEs of a given exp, as a list of code annotations.

val get_state_selection_with_dependencies : unit -> Frama_c_kernel.State_selection.t

Equivalent to State_selection.with_dependencies RteGen.Api.self if the RTE plug-in is enabled, empty otherwise.