package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val mkSimpleField : Cil.compinfo -> string -> Cil.typ -> Cil.location -> Cil.fieldinfo
val heapifyNonArrays : bool ref
val containsArray : Cil.typ -> bool
class heapifyModifyVisitor : Cil.lhost -> Cil.fieldinfo list -> (Cil.varinfo * int) list -> Cil.exp -> Cil.fundec -> object ... end
class heapifyAnalyzeVisitor : 'a -> Cil.exp -> Cil.exp -> object ... end
val heapify : Cil.file -> Cil.exp -> Cil.exp -> Cil.file
val default_heapify : Cil.file -> unit
class sgModifyVisitor : Cil.stmt -> object ... end
class sgAnalyzeVisitor : 'a -> Cil.exp -> Cil.exp -> Cil.exp -> Cil.exp -> object ... end
val stackguard : Cil.file -> Cil.exp -> Cil.exp -> Cil.exp -> Cil.exp -> Cil.file
val default_stackguard : Cil.file -> unit
val feature1 : Feature.t
val feature2 : Feature.t
OCaml

Innovation. Community. Security.