package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Ast Data

Represented by a Json record with file, dir, basename, line

val jFunction : Package.jtype

Json key representing a function name

Represented by the function name as jFunction.

Represented by the function name as jFunction.

Ast Markers

module Marker : sig ... end

Exported as Json string with their unique tag.

Ast Markers of Specific Kinds

module Lval : sig ... end

Markers that are l-values.

Markers that are statements.

Optional markers interpreted as kinstr.

module Location : Data.S with type t = Function.t * Marker.t

Represented as a Json record with function name and marker tag.

Ast Printer

Ast Information

module Information : sig ... end

Globals

module Functions : sig ... end