package calli

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

calli
- Calli
  - AbstractMemory
    
    Make
    
    AbsVal
    
    S
  - AbstractValue
    
    S
  - Basicblock
  - Bbpool
    
    M
  - CallGraph
    
    M
  - CallSiteContext
    
    Elt
    
    Make
    
    Elt
  - Cfg
    
    M
  - Cond
  - Context
    
    S
  - Dot
    
    Attr
    
    Color
    
    DIGraph
    
    Edge_Stmt
    
    Node_Stmt
    
    Shape
    
    Stmt
    
    Style
  - Env
    
    M
  - Expr
  - Function
  - Global
  - Icfg
    
    Make
    
    AbsMem
    
    Ctxt
    
    M
    
    S
  - Inst
  - LlvmAnalyzer
    
    Make
    
    AbsMem
    
    AbsVal
    
    Ctxt
    
    Icfg
    
    M
    
    LoopCounter
    
    M
    
    States
    
    TF
    
    Worklist
  - Metadata
    
    Alias
    
    M
  - Module
    
    M
  - Op
  - Pp
  - States
    
    Make
    
    AbsMem
    
    Ctxt
    
    S
  - Stmt
  - Term
  - To_dot
    
    Make
    
    Summary
  - TransferFunction
    
    S
  - Transform
  - Transform2
  - Transform3
  - Transform_meta
  - Transform_select
  - Type
  - Util
  - Val
  - Worklist
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functor building an implementation of the Analyzer given abstractvalue, abstract memory, analysis context, abstract states, tf.

Parameters

module AbsVal : AbstractValue.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 : TransferFunction.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 : Stdlib.String.t 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