package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
val is_available_expr : JBirSSA.expr -> bool
val var_in_expr : JBirSSA.var -> JBirSSA.expr -> bool
module Lat : sig ... end
val index : JBirSSA.var -> int
type transfer =
  1. | Assign of JBirSSA.expr
  2. | Nop
type pc = int
val transfer_to_string : transfer -> string
val eval_transfer : transfer -> Lat.t -> Lat.t
val gen_instrs : (int * transfer * int) list -> JBirSSA.instr -> (int * transfer * int) list
val gen_phi_nodes : (int * transfer * int) list -> JBirSSA.phi_node list -> (int * transfer * int) list
val gen_symbolic : JBirSSA.t -> (pc * transfer * pc) list
val run : JBirSSA.t -> int -> Lat.t
val to_string : Lat.t -> string