package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module FunctionSet : sig ... end
module FunctionCallMap : sig ... end
val addOrCreateMap : FunctionSet.elt -> (FunctionSet.t * int) option -> (FunctionSet.t * int) option
val calledFunctions : FunctionCallMap.key -> FunctionSet.t
val callingFunctions : FunctionCallMap.key -> FunctionSet.t
val timesCalled : FunctionCallMap.key -> int
val functionArgs : FunctionCallMap.key -> GoblintCil.exp list option
val findMallocWrappers : unit -> unit
val isExtern : GoblintCil.storage -> bool
val setCongruenceRecursive : GoblintCil.fundec -> int -> (GoblintCil.varinfo -> FunctionSet.t) -> unit
exception ModFound
class modVisitor : object ... end
class modFunctionAnnotatorVisitor : object ... end
val addModAttributes : GoblintCil.file -> unit
val disableIntervalContextsInRecursiveFunctions : unit -> unit
val notNeccessaryThreadAnalyses : string list
val reduceThreadAnalyses : unit -> unit
val focusOnSpecification : unit -> unit
exception EnumFound
class enumVisitor : object ... end
val hasEnums : GoblintCil.file -> bool
class addTypeAttributeVisitor : object ... end
val selectArrayDomains : GoblintCil.file -> unit
type option = {
  1. value : int;
  2. cost : int;
  3. activate : unit -> unit;
}
module VariableMap : sig ... end
module VariableSet : sig ... end
val isComparison : GoblintCil.binop -> bool
val extractVar : GoblintCil.exp -> GoblintCil.varinfo option
val extractOctagonVars : GoblintCil.exp -> [> `Left of GoblintCil.varinfo * GoblintCil.varinfo | `Right of GoblintCil.varinfo ] option
val addOrCreateVarMapping : int VariableMap.t ref -> GoblintCil.varinfo -> int -> bool -> unit
val handle : int VariableMap.t ref -> int -> bool -> [< `Left of GoblintCil.varinfo * GoblintCil.varinfo | `Right of GoblintCil.varinfo ] option -> unit
class octagonVariableVisitor : (int VariableMap.t ref * bool) -> object ... end
val topVars : int -> 'a VariableMap.t -> VariableMap.key list
class octagonFunctionVisitor : (VariableMap.key list list ref * int) -> object ... end
val congruenceOption : AutoTune0.complexityFactors -> 'a -> option
val apronOctagonOption : AutoTune0.complexityFactors -> GoblintCil.file -> option
val wideningOption : AutoTune0.complexityFactors -> 'a -> option
val estimateComplexity : AutoTune0.complexityFactors -> 'a -> int
val totalTarget : int
val chooseFromOptions : int -> option list -> option list
val isActivated : string -> bool
val chooseConfig : GoblintCil.file -> unit
val reset_lazy : unit -> unit