package frama-c

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

Module Frama_c_kernel.Cil_builder

This module is meant to build C or ACSL expressions in a unified way. Compared to "classic" Cil functions it also avoids the necessity to provide a location everywhere.

Some naming conventions:

  • "prime" types (suffixed with `'`) are a "low-level" representation, "hiding" constructors so that the corresponding unprimed types can be used directly, improving readability;
  • `harden` functions perform an "unboxing" of the polymorphic variant constructor.
module Type : sig ... end
module Exp : sig ... end
module Pure : sig ... end
exception BuildError of string
module Stateful () : sig ... end
OCaml

Innovation. Community. Security.