package frama-c

  1. Overview
  2. Docs

doc/frama-c-rtegen.core/RteGen/Visit/index.html

Module RteGen.VisitSource

Visitors to iterate over Alarms and/or generate Code-Annotations

val annotate : ?flags:Flags.t -> Frama_c_kernel.Cil_types.kernel_function -> unit
type 'a iterator = ?flags:Flags.t -> on_alarm -> Frama_c_kernel.Kernel_function.t -> Frama_c_kernel.Cil_types.stmt -> 'a -> unit
OCaml

Innovation. Community. Security.