goblint-cil 1.7.4 · OCaml Package

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module E = Errormsg

module VS : sig ... end

val getUseDefFunctionRef : 
  (Cil.exp -> Cil.exp list -> VS.t * VS.t * Cil.exp list) Pervasives.ref

val considerVariableUse : (Cil.varinfo -> bool) Pervasives.ref

val considerVariableDef : (Cil.varinfo -> bool) Pervasives.ref

val considerVariableAddrOfAsUse : (Cil.varinfo -> bool) Pervasives.ref

val considerVariableAddrOfAsDef : (Cil.varinfo -> bool) Pervasives.ref

val extraUsesOfExpr : (Cil.exp -> VS.t) Pervasives.ref

val onlyNoOffsetsAreDefs : bool Pervasives.ref

val ignoreSizeof : bool Pervasives.ref

val varUsed : VS.t Pervasives.ref

val varDefs : VS.t Pervasives.ref

class useDefVisitorClass : Cil.cilVisitor

val useDefVisitor : useDefVisitorClass

val computeUseExp : ?acc:VS.t -> Cil.exp -> VS.t

val computeUseDefInstr : 
  ?acc_used:VS.t ->
  ?acc_defs:VS.t ->
  Cil.instr ->
  VS.t * VS.t

val computeUseDefStmtKind : 
  ?acc_used:VS.t ->
  ?acc_defs:VS.t ->
  Cil.stmtkind ->
  VS.t * VS.t

val computeDeepUseDefStmtKind : 
  ?acc_used:VS.t ->
  ?acc_defs:VS.t ->
  Cil.stmtkind ->
  VS.t * VS.t

val computeUseLocalTypes : ?acc_used:VS.t -> Cil.fundec -> VS.t