package cbat-explicit-edge

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include sig ... end
val name : string
val version : string
val doc : string
val argv : string array
val debug : ('a, Format.formatter, unit) Core_kernel.Std.format -> 'a
val info : ('a, Format.formatter, unit) Core_kernel.Std.format -> 'a
val warning : ('a, Format.formatter, unit) Core_kernel.Std.format -> 'a
val error : ('a, Format.formatter, unit) Core_kernel.Std.format -> 'a
val debug_formatter : Format.formatter
val info_formatter : Format.formatter
val warning_formatter : Format.formatter
val error_formatter : Format.formatter
val report_progress : ?task:string -> ?note:string -> ?stage:int -> ?total:int -> unit -> unit
module Config : sig ... end
module Utils = Cbat_vsa_utils
module Vsa = Cbat_vsa
type create_t = ?tid:Bap.Std.tid -> ?cond:Bap.Std.exp -> Bap.Std.label -> Bap.Std.jmp Bap.Std.term
val specialize_cond : Bap.Std.Bil.exp -> Bap.Std.Bil.exp -> Bap.Std.word -> Bap.Std.exp
val create_label : 'a Bap.Std.Term.t Bap.Std.Seq.t -> Bap.Std.addr -> Bap.Std.label
val create_blk_label : Bap.Std.sub Bap.Std.Term.t -> Bap.Std.addr -> Bap.Std.label
val create_call_label : Bap.Std.program Bap.Std.Term.t -> Bap.Std.addr -> Bap.Std.label
val concrete_jump : create_t -> Bap.Std.sub Bap.Std.Term.t -> Bap.Std.Bil.exp -> Bap.Std.Bil.exp -> Bap.Std.addr -> Bap.Std.jmp Bap.Std.term
type is_done =
  1. | Done
  2. | EdgesAdded
val both_done : is_done -> is_done -> is_done
val add_edges : Bap.Std.program Bap.Std.term -> Bap.Std.sub Bap.Std.term -> AI.t -> Bap.Std.blk Bap.Std.term -> Bap.Std.blk Bap.Std.term * is_done
val insert_edges : Bap.Std.program Bap.Std.term -> Bap.Std.sub Bap.Std.Term.t -> (Bap.Std.tid, Vsa.AI.t) Graphlib.Std.Solution.t -> Bap.Std.sub Bap.Std.term * is_done
val do_until_done : ?fuel:int -> ('a -> 'a * is_done) -> 'a -> 'a
val recompute_vsa : Bap.Std.Program.t -> Bap.Std.Sub.t -> Bap.Std.sub Bap.Std.term
val main : string option -> int -> Bap.Std.project -> Bap.Std.project
module Cmdline : sig ... end
OCaml

Innovation. Community. Security.