Frama-C:
Plug-ins:
Libraries:

Frama-C API - TacFilter

Built-in Filtering Tactic (auto-registered)

val vanti : bool Tactical.field
val tactical : Tactical.t
val strategy : ?priority:float -> ?anti:bool -> unit -> Strategy.t