package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module E = Errormsg
val isConstType : Cil.typ -> bool
val compareExp : Cil.exp -> Cil.exp -> bool
val compareLval : Cil.lval -> Cil.lval -> bool
val stripNopCasts : Cil.exp -> Cil.exp
val compareExpStripCasts : Cil.exp -> Cil.exp -> bool
val stripCastsForPtrArith : Cil.exp -> Cil.exp
val compareTypes : ?ignoreSign:bool -> ?importantAttr:(Cil.attribute -> bool) -> Cil.typ -> Cil.typ -> bool
val compareTypesNoAttributes : ?ignoreSign:bool -> Cil.typ -> Cil.typ -> bool
class volatileFinderClass : bool ref -> object ... end
val isTypeVolatile : Cil.typ -> bool
val stripCastsDeepForPtrArith : Cil.exp -> Cil.exp
val stripCastsForPtrArithLval : Cil.lval -> Cil.lval
val stripCastsForPtrArithOff : Cil.offset -> Cil.offset
val compareExpDeepStripCasts : Cil.exp -> Cil.exp -> bool
val compareAttrParam : Cil.attrparam -> Cil.attrparam -> bool
OCaml

Innovation. Community. Security.