package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type builtin = ..
type fallthrough =
  1. | Nop
  2. | Debug of string
  3. | Print of Types.Output.t
  4. | Instruction of Binsec.Instruction.t
  5. | Hook of {
    1. addr : Binsec.Virtual_address.t;
    2. info : string;
    }
  6. | Assign of {
    1. var : Libsse.Types.Var.t;
    2. rval : Libsse.Types.Expr.t;
    }
  7. | Clobber of Libsse.Types.Var.t
  8. | Forget of Libsse.Types.Var.t
  9. | Load of {
    1. var : Libsse.Types.Var.t;
    2. base : Types.A.t;
    3. dir : Binsec.Machine.endianness;
    4. addr : Libsse.Types.Expr.t;
    }
  10. | Store of {
    1. base : Types.A.t;
    2. dir : Binsec.Machine.endianness;
    3. addr : Libsse.Types.Expr.t;
    4. rval : Libsse.Types.Expr.t;
    }
  11. | Symbolize of Libsse.Types.Var.t
  12. | Assume of Libsse.Types.Expr.t
  13. | Assert of Libsse.Types.Expr.t
  14. | Enumerate of {
    1. enum : Libsse.Types.Expr.t;
    2. tid : int;
    3. format : Types.Output.format;
    4. n : int;
    }
  15. | Reach of {
    1. tid : int;
    2. n : int;
    3. guard : Libsse.Types.Expr.t;
    4. actions : Types.Output.t list;
    }
  16. | Builtin of builtin
type terminator =
  1. | Jump of {
    1. target : Libsse.Types.Expr.t;
    2. tag : Binsec.Dba.tag;
    }
  2. | Halt
  3. | Cut
  4. | Die of string
type node =
  1. | Fallthrough of {
    1. kind : fallthrough;
    2. succ : int;
    }
  2. | Branch of {
    1. test : Libsse.Types.Expr.t;
    2. target : int;
    3. fallthrough : int;
    }
  3. | Goto of {
    1. target : Binsec.Virtual_address.t;
    2. tag : Binsec.Dba.tag;
    3. succ : int option;
    }
  4. | Terminator of terminator
val pp_probe : Format.formatter -> 'a -> unit
val pp_fallthrough : Format.formatter -> fallthrough -> unit
val register_builtin_pp : (Format.formatter -> builtin -> bool) -> unit
val pp_terminator : Format.formatter -> terminator -> unit
val pp_node : Format.formatter -> node -> unit
val shuffle : (int -> int) -> node -> node
module type GRAPH = sig ... end