package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val use_ptranal_alias : bool ref
val setup_alias_analysis : Cil.file -> unit
val compute_callgraph : Cil.file -> callNodeHash
val simplify : Cil.file -> callNodeHash -> Cil.fundec -> (Cil.lval * Cil.exp) list -> unit