package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Consult internal plug-in documentation for more details

module Flags : module type of Flags

Flags for filtering Alarms

module Generator : module type of Generator

RTE Generator Status & Emitters

module Visit : sig ... end

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

module Api : module type of Api

Runtime Error Annotation Generation plugin.

OCaml

Innovation. Community. Security.