package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val convFile : Cabs.file -> Cil.file

The main entry point

val forceRLArgEval : bool ref

Turn on tranformation that forces correct parameter evaluation order

val nocil : int ref

Set this integer to the index of the global to be left in CABS form. Use * -1 to disable

val allowDuplication : bool ref

Indicates whether we're allowed to duplicate small chunks of code.

val doCollapseCallCast : bool ref

If false, the destination of a Call instruction should always have the same type as the function's return type. Where needed, CIL will insert a temporary to make this happen.

If true, the destination type may differ from the return type, so there is an implicit cast. This is useful for analyses involving malloc, because the instruction "T* x = malloc(...);" won't be broken into two instructions, so it's easy to find the allocation type.

This is false by default. Set to true to replicate the behavior of CIL 1.3.5 and earlier.

val cacheGlobals : bool ref

Disables caching of globals during parsing. This is handy when we want * to parse additional source files without hearing about confclits.

val typeForTypeof : (Cil.typ -> Cil.typ) ref

A hook into the code for processing typeof.

val typeForInsertedVar : (Cil.typ -> Cil.typ) ref

A hook into the code that creates temporary local vars. By default this is the identity function, but you can overwrite it if you need to change the types of cabs2cil-introduced temp variables.

val typeForInsertedCast : (Cil.typ -> Cil.typ) ref

Like typeForInsertedVar, but for casts. * Casts in the source code are exempt from this hook.

val typeForCombinedArg : ((string, string) Hashtbl.t -> Cil.typ -> Cil.typ) ref

A hook into the code that merges arguments in function types.

val attrsForCombinedArg : ((string, string) Hashtbl.t -> Cil.attributes -> Cil.attributes) ref

A hook into the code that merges arguments in function attributes.

val allTempVars : unit Inthash.t
type envdata =
  1. | EnvVar of Cil.varinfo
  2. | EnvEnum of Cil.exp * Cil.typ
  3. | EnvTyp of Cil.typ
  4. | EnvLabel of string
    (*

    A hashtable containing a mapping of variables, enums, types and labels to varinfo, typ, etc.

    *)
val environment : (string, envdata * Cil.location) Hashtbl.t
OCaml

Innovation. Community. Security.