package calli

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Functor building an implementation of the Analyzer given abstract domain, abstract memory, analysis context, abstract states, abstract semantics.

Parameters

module AbsVal : AbstractDomain.S

module AbsMem : AbstractMemory.S with type valty = AbsVal.t

module Ctxt : Context.S with type memty = AbsMem.t

module States : States.S with type ctxtty = Ctxt.t and type memty = AbsMem.t

module TF : AbstractSemantics.S with type memty = AbsMem.t

Signature

module Icfg : sig ... end

Interprocedural Control Flow Graph module tailored to the user-provided context and abstract memory.

module Worklist : sig ... end

Worklist for Abstract Interpretation.

module LoopCounter : sig ... end

A loop_counter for widening operations in the analysis loop, visiting the same basicblock for a maximum count of loop_counter before performing widening.

val llmodule : Function.t Module.M.t Stdlib.ref

val icfg : Bbpool.M.key list Icfg.M.t Stdlib.ref

val summary : States.t Stdlib.ref

val analyze : States.t -> States.t

analysis loop

val init : Function.t Module.M.t -> unit

initilizing llmodule and icfg. must be called before ```analyze``` function called