package cbat-explicit-edge

You can search for identifiers within the package.

in-package search v0.2.0

cbat-plugin-explicit-edge
- Cbat_explicit_edge_plugin
  - Cmdline
  - Config

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 AI = Cbat_ai_representation

module Utils = Cbat_vsa_utils

module Clp = Cbat_clp_set_composite

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 =

| Done
| 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