goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val debug : bool Pervasives.ref
val debug_constraints : bool Pervasives.ref
val debug_aliases : bool Pervasives.ref
val debug_may_aliases : bool Pervasives.ref
val smart_aliases : bool Pervasives.ref
val print_constraints : bool Pervasives.ref
val analyze_mono : bool Pervasives.ref
val no_sub : bool Pervasives.ref
val no_flow : bool Pervasives.ref
val show_progress : bool Pervasives.ref
val conservative_undefineds : bool Pervasives.ref
val callHasNoSideEffects : (Cil.exp -> bool) Pervasives.ref
val analyze_file : Cil.file -> unit
val print_types : unit -> unit
exception UnknownLocation
val may_alias : Cil.exp -> Cil.exp -> bool
val resolve_lval : Cil.lval -> Cil.varinfo list
val resolve_exp : Cil.exp -> Cil.varinfo list
val resolve_funptr : Cil.exp -> Cil.fundec list
type absloc
val absloc_of_varinfo : Cil.varinfo -> absloc
val absloc_of_lval : Cil.lval -> absloc
val absloc_eq : absloc -> absloc -> bool
val absloc_e_points_to : Cil.exp -> absloc list
val absloc_e_transitive_points_to : Cil.exp -> absloc list
val absloc_lval_aliases : Cil.lval -> absloc list
val d_absloc : unit -> absloc -> Pretty.doc
val compute_results : bool -> unit
val compute_aliases : bool -> unit
val feature : Feature.t