sawja 1.5.11 · OCaml Package

sawja
- Sawja_pack
  - A3Bir
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - A3BirPP
  - A3BirSSA
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - A3BirSSAPP
  - ArgPlugin
  - AvailableExpr
    
    Lat
  - AvailableExprSSA
    
    Lat
  - Bir
    
    BCV
    
    CheckInfoDebug
    
    Lat
    
    FastCheckInfoDebug
    
    IRUtil
    
    Live
    
    Env
    
    MakeBirLikeFunctions
    
    MakeCodeExcFunctions
    
    PluginPrinter
    
    PrintIR
    
    Printer
    
    SSA
  - BirA3
    
    MakeBirLikeFunctions
    
    PluginPrinter
    
    PrintIR
    
    Printer
  - ClassDomain
    
    Make
    
    _
  - Cmn
    
    DicoVarMap
    
    VarMap
    
    VarSet
  - HeapParser
  - Iter
  - Iter2
  - JBir
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - JBirPP
  - JBirSSA
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - JBirSSAPP
  - JCFA
  - JCFADom
    
    AbFSet
    
    AbField
    
    AbLocals
    
    AbMeth
    
    AbMethod
    
    AbPP
    
    AbVSet
    
    CFAConstraints
    
    State
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    CFAState
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    Var
    
    Context
  - JCFAOptions
  - JCFAPrinter
  - JCRA
  - JCodePP
  - JControlFlow
    
    PP
  - JNativeStubs
    
    ClassSignatureSet
    
    MethodMap
    
    MethodSet
    
    StringMap
  - JPrintHtml
    
    HTMLPrinter
    
    JCodePrinter
    
    Make
    
    S
    
    PrintInterface
  - JPrintPlugin
    
    JCodePrinter
    
    NewCodePrinter
    
    AdaptedASTGrammar
    
    Make
    
    S
    
    PluginPrinter
    
    PrintInterface
  - JPrintUtil
    
    JCodeUtil
  - JProgram
  - JRRTA
  - JRTA
  - JRTAWithHeap
  - JType
    
    ObjectMap
    
    ObjectSet
  - JUtil
  - JsrInline
  - Lex_heap
  - Live_a3bir
    
    Env
  - Live_bir
    
    Env
  - Nexir
    
    Formula
  - Parse_heap
  - ParserType
  - ReachDef
    
    Lat
  - ReachableMethods
  - Safe
    
    Constraints
    
    Make
    
    State
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    S
    
    State
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    Domain
    
    Combine
    
    Left
    
    Right
    
    Trad_Left
    
    Trad
    
    Trad_Right
    
    Trad
    
    Empty
    
    Local
    
    Var
    
    S
    
    Stack
    
    Var
    
    TRADUCTOR_ANALYSIS
    
    Trad_Identity
    
    TYPE
    
    Solver
    
    Make
    
    Constraints
    
    State
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    State
    
    Make
    
    Field
    
    FieldDomain
    
    Global
    
    GlobalDomain
    
    IOC
    
    IOCDomain
    
    Method
    
    MethodDomain
    
    PP
    
    PPDomain
    
    Var
    
    Context
    
    S
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    Var
    
    CONTEXT
    
    EmptyContext
    
    Make
    
    Context
    
    S
    
    Context
  - Wlist
  - XTA

Legend:
Library
Module
Module type
Parameter
Class
Class type

val get_CFA_program : 
  ?opt:JCFAOptions.cfa_options ->
  ?init_heap:ParserType.parsed_heap option ->
  JBir.t JProgram.program ->
  Javalib_pack.JBasics.class_method_signature list ->
  Javalib_pack.JBasics.class_method_signature ->
  JBir.t JProgram.program