package cbat-vsa

  1. Overview
  2. Docs
module WordSet = Cbat_clp_set_composite
type vsa_sol = (Bap.Std.tid, AI.t) Graphlib.Std.Solution.t
val precond : Cbat_ai_representation.t Bap.Std.tag
val denote_def : Bap.Std.def Bap.Std.term -> AI.t -> AI.t
val denote_defs : Bap.Std.blk Bap.Std.term -> AI.t -> AI.t
val denote_imm_exp : Bap.Std.exp -> AI.t -> (WordSet.t, Bap.Std.Type.error) Core_kernel.Std.Result.t
val denote_mem_exp : Bap.Std.exp -> AI.t -> (Cbat_ai_memmap.t, Bap.Std.Type.error) Core_kernel.Std.Result.t
val denote_block : (sub:Bap.Std.tid -> AI.t -> target:Bap.Std.tid -> AI.t) -> Bap.Std.program Bap.Std.term -> source:Bap.Std.tid -> AI.t -> target:Bap.Std.tid -> AI.t
val reachable_jumps : AI.t -> Bap.Std.jmp Bap.Std.term Bap.Std.seq -> Bap.Std.jmp Bap.Std.term Bap.Std.seq
val init_sol : ?entry:AI.t -> Bap.Std.sub Bap.Std.term -> vsa_sol
val static_graph_vsa : Bap.Std.tid list -> Bap.Std.Program.t -> Bap.Std.Sub.t -> vsa_sol -> vsa_sol
val load : Bap.Std.sub Bap.Std.term -> vsa_sol option
OCaml

Innovation. Community. Security.