package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val thefunc : Cil.fundec option Pervasives.ref
val assignment_list : Cil.instr list Pervasives.ref
val array_to_pointer : Cil.typ -> Cil.typ
val make_temp : Cil.typ -> Cil.varinfo
val separate_loffsets : Cil.offset -> Cil.offset * Cil.offset
val handle_lvalue : (Cil.lhost * Cil.offset) -> Cil.lval
val handle_loffset : Cil.lval -> Cil.offset -> Cil.lval
class simpleVisitor : object ... end
val simplemem : Cil.file -> Cil.file
val feature : Feature.t
OCaml

Innovation. Community. Security.