package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Goblint_lib.AutoTuneSource

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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct