package goblint

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

Module Goblint_lib.AutoTuneSource

Autotuning of the configuration based on syntactic heuristics.

Sourcemodule FunctionSet : sig ... end
Sourcemodule FunctionCallMap : sig ... end
Sourceval addOrCreateMap : FunctionSet.elt -> (FunctionSet.t * int) option -> (FunctionSet.t * int) option
Sourceexception Found
Sourceclass findAllocsInLoops : object ... end
Sourcetype functionCallMaps = {
  1. calling : FunctionSet.t FunctionCallMap.t;
  2. calledBy : (FunctionSet.t * int) FunctionCallMap.t;
  3. argLists : GoblintCil.Cil.exp list FunctionCallMap.t;
  4. dynamicallyCalled : FunctionSet.t;
}
Sourceval calledFunctions : FunctionCallMap.key -> FunctionSet.t
Sourceval callingFunctions : FunctionCallMap.key -> FunctionSet.t
Sourceval timesCalled : FunctionCallMap.key -> int
Sourceval functionArgs : FunctionCallMap.key -> GoblintCil.Cil.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 hasFunction : (LibraryDesc.t -> GoblintCil.Cil.exp list -> bool) -> bool
Sourceval disableAnalyses : string list -> unit
Sourceval enableAnalyses : string list -> unit
Sourceval notNeccessaryThreadAnalyses : string list
Sourceval reduceThreadAnalyses : unit -> unit
Sourceval focusOnMemSafetySpecification : unit -> unit
Sourceval focusOnTermination : unit -> unit
Sourceval concurrencySafety : SvcompSpec.t -> unit
Sourceval noOverflows : SvcompSpec.t -> unit
Sourceval focusOn : (SvcompSpec.t -> 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 isGoblintStub : GoblintCil.varinfo -> bool
Sourceval extractVar : GoblintCil.exp -> GoblintCil.varinfo option
Sourceval extractBinOpVars : GoblintCil.exp -> GoblintCil.exp -> GoblintCil.varinfo list
Sourceval extractOctagonVars : GoblintCil.exp -> GoblintCil.varinfo list
Sourceval addOrCreateVarMapping : int VariableMap.t ref -> GoblintCil.varinfo -> int -> bool -> 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 : Goblint_lib__.AutoTune0.complexityFactors -> 'a -> option
Sourceval apronOctagonOption : Goblint_lib__.AutoTune0.complexityFactors -> GoblintCil.file -> option
Sourceval wideningOption : Goblint_lib__.AutoTune0.complexityFactors -> 'a -> option
Sourceval activateTmpSpecialAnalysis : unit -> unit
Sourceval estimateComplexity : Goblint_lib__.AutoTune0.complexityFactors -> 'a -> int
Sourceval totalTarget : int
Sourceval chooseFromOptions : int -> option list -> option list
Sourceval isActivated : string -> bool
Sourceval isTerminationTask : unit -> 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