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
    
    GetFormula
    
    IRUtil
    
    Live
    
    Env
    
    MakeBirLikeFunctions
    
    MakeCodeExcFunctions
    
    PluginPrinter
    
    PrintIR
    
    Printer
    
    SSA
  - BirA3
    
    MakeBirLikeFunctions
    
    PluginPrinter
    
    PrintIR
    
    Printer
  - ClassDomain
    
    Make
    
    S
  - Cmn
    
    DicoVarMap
    
    VarMap
    
    VarSet
  - HeapParser
  - Iter
  - JBir
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - JBirPP
  - JBirSSA
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - JBirSSAPP
  - 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
    
    GenericMap
    
    S
    
    GenericSet
    
    S
    
    MaptoSet
    
    GMap
    
    GSet
    
    S
  - JsrInline
  - Lex_heap
  - Live_a3bir
    
    Env
  - Live_bir
    
    Env
  - 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

module Lat : sig ... end

type pc = int

type transfer =

| NoP
| KillGen of var * int

val transfer_to_string : transfer -> string

val eval_transfer : 
  transfer ->
  FastCheckInfoDebug.var_name_deb Ptmap.t ->
  FastCheckInfoDebug.var_name_deb Ptmap.t

val gen_instrs : int -> instr -> (transfer * int) list

val gen_symbolic : bir -> (pc * transfer * pc) list

val init : 
  ('a * ('b * unindexed_var)) list ->
  FastCheckInfoDebug.var_name_deb Ptmap.t

val vars : expr -> VarSet.t

val check_info_on_vars_access : 
  instr array ->
  (int -> FastCheckInfoDebug.var_name_deb Ptmap.t) ->
  unit

val run : bir -> unit

val to_string : FastCheckInfoDebug.var_name_deb Ptmap.t -> string