package sawja

You can search for identifiers within the package.

in-package search v0.2.0

package sawja

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

type non_virtual_method_call =

| CallStatic of Javalib_pack.JBasics.class_method_signature
| CallSpecial of Javalib_pack.JBasics.class_method_signature

type virtual_method_call =

| CallVirtual of Javalib_pack.JBasics.class_method_signature
| CallInterface of Javalib_pack.JBasics.class_method_signature

type return_kind =

| NormalReturn
| ExceptionalReturn

type pc = int

module Formula : sig ... end

type instrCfg =

| Nop
| AssignVar of A3Bir.var * A3Bir.expr
| AffectField of A3Bir.tvar * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.field_signature * A3Bir.tvar
| AffectStaticField of Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.field_signature * A3Bir.tvar
| ArrayStore of A3Bir.tvar * A3Bir.tvar * A3Bir.tvar
| Assume of Formula.formula * Formula.should_be_verified
| AllocVar of A3Bir.var * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.value_type list * A3Bir.tvar list
| AllocArray of A3Bir.var * Javalib_pack.JBasics.value_type * A3Bir.tvar list
| CheckLink of Javalib_pack.JCode.jopcode
| MayInit of Javalib_pack.JBasics.class_name
| MonitorEnter of A3Bir.tvar
| MonitorExit of A3Bir.tvar
| NonVirtualCall of A3Bir.var * A3Bir.var * non_virtual_method_call * A3Bir.tvar list
| VirtualCall of A3Bir.var * A3Bir.var * A3Bir.tvar * virtual_method_call * A3Bir.tvar list
| UncaughtExceptionAfterMethodCall
| NormalReturnAfterMethodCall

type t = {

params : A3Bir.tvar list;
code : (instrCfg * pc) list array;
start_pc : pc;
normal_return : A3Bir.var;
normal_end_pc : pc;
exceptional_return : A3Bir.var;
exceptional_end_pc : pc;
error_pc : pc;
cfg2Bir : pc Javalib_pack.Ptmap.t;

}

val transform : A3Bir.t -> t

val cfg2dot : 
  string ->
  Javalib_pack.JBasics.class_method_signature ->
  t ->
  unit