package calli

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Requirements
Installation
Usage
License

calli
- README
- Library calli
  - Calli
    
    AbstractDomain
    
    S
    
    AbstractMemory
    
    F
    
    S
    
    Make
    
    AbstractSemantics
    
    S
    
    Basicblock
    
    Bbpool
    
    M
    
    CallGraph
    
    F
    
    M
    
    CallSiteContext
    
    F
    
    Elt
    
    Make
    
    Cfg
    
    M
    
    Cond
    
    Context
    
    F
    
    S
    
    Dot
    
    Shape
    
    Color
    
    Style
    
    Attr
    
    Edge_Stmt
    
    Node_Stmt
    
    Stmt
    
    DIGraph
    
    Env
    
    M
    
    Expr
    
    Function
    
    Global
    
    Icfg
    
    S
    
    Make
    
    M
    
    Inst
    
    LlvmAnalyzer
    
    F
    
    Make
    
    Icfg
    
    M
    
    Worklist
    
    LoopCounter
    
    M
    
    Metadata
    
    Alias
    
    M
    
    Module
    
    M
    
    Op
    
    Pp
    
    States
    
    F
    
    S
    
    CtxtM
    
    M
    
    Make
    
    CtxtM
    
    M
    
    Stmt
    
    Term
    
    To_dot
    
    Make
    
    Transform
    
    Transform2
    
    Transform3
    
    Transform_meta
    
    Transform_select
    
    Type
    
    Util
    
    Val
    
    F
    
    Worklist
    
    S
- Sources
  - calli
    
    calli.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

CaLLi

CaLLi is a OCaml Analysis Library for LLVM IR

Requirements

OCaml, version 4.13.1 or later.

Installation

Using OPAM

  opam install calli

Building from source

  dune build
  opam install .

Usage

Read our Getting Started page for details.

License

CaLLi is MIT-licensed.