sawja
  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Env : sig ... end
type transfer_fun =
  1. | GenVars of expr list
  2. | Kill of var
type transfer = transfer_fun list
type pc = int
val fun_to_string : transfer_fun -> string
val transfer_to_string : transfer_fun list -> string
val eval_transfer : transfer_fun -> Env.t -> Env.t
val all_expr_in_formula : formula -> expr list
val gen_instrs : int -> int -> instr -> (transfer_fun list * int) list
val gen_symbolic : bir -> (pc * transfer * pc) list
val run : bir -> int -> Env.t