package calli

You can search for identifiers within the package.

in-package search v0.2.0

package calli

calli
- Calli
  - AbstractDomain
    
    S
  - AbstractMemory
    
    Make
    
    AbsVal
    
    S
  - AbstractSemantics
    
    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
  - Transform
  - Transform2
  - Transform3
  - Transform_meta
  - Transform_select
  - Type
  - Util
  - Val
  - Worklist
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

module AbstractDomain : sig ... end

module AbstractMemory : sig ... end

module AbstractSemantics : sig ... end

module Basicblock : sig ... end

module Bbpool : sig ... end

module CallGraph : sig ... end

module CallSiteContext : sig ... end

module Cfg : sig ... end

The CFG module represents the Control Flow Graph of CaLLi IR.

module Cond : sig ... end

module Context : sig ... end

module Dot : sig ... end

module Env : sig ... end

module Expr : sig ... end

module Function : sig ... end

module Global : sig ... end

module Icfg : sig ... end

module Inst : sig ... end

module LlvmAnalyzer : sig ... end

module Metadata : sig ... end

module Module : sig ... end

module Op : sig ... end

module Pp : sig ... end

module States : sig ... end

module Stmt : sig ... end

The Stmt module is a module that adds additional information to Inst. It includes bb_name (the name of the basicblock to which the instruction belongs), and index (the index of the instruction within the basicblock)

module Term : sig ... end

module To_dot : sig ... end

module Transform : sig ... end

The Transform module utilize the LLVM-OCaml binding to convert LLVM IR into CaLLI IR. *

module Transform2 : sig ... end

Seperate Call instructions into CallSite and ReturnSite instructions

module Transform3 : sig ... end

Add Prune Node as a first instruction in the next basicblock of the conditional branch

module Transform_meta : sig ... end

module Transform_select : sig ... end

module Type : sig ... end

module Util : sig ... end

module Val : sig ... end

module Worklist : sig ... end