package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type builtin
type 'a t =
  1. | Debug : {
    1. msg : string;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  2. | Print : {
    1. output : Types.Output.t;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  3. | Step : {
    1. addr : Binsec.Virtual_address.t;
    2. n : int;
    3. mutable succ : [ `All ] t;
    } -> [< `All ] t
  4. | Assign : {
    1. var : Libsse.Types.Var.t;
    2. rval : Libsse.Types.Expr.t;
    3. mutable succ : [ `All ] t;
    } -> [< `All ] t
  5. | Clobber : {
    1. var : Libsse.Types.Var.t;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  6. | Load : {
    1. var : Libsse.Types.Var.t;
    2. base : Types.A.t;
    3. dir : Binsec.Machine.endianness;
    4. addr : Libsse.Types.Expr.t;
    5. mutable succ : [ `All ] t;
    } -> [< `All ] t
  7. | Store : {
    1. base : Types.A.t;
    2. dir : Binsec.Machine.endianness;
    3. addr : Libsse.Types.Expr.t;
    4. rval : Libsse.Types.Expr.t;
    5. mutable succ : [ `All ] t;
    } -> [< `All ] t
  8. | Symbolize : {
    1. var : Libsse.Types.Var.t;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  9. | Assume : {
    1. test : Libsse.Types.Expr.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Assume | `All ] t
  10. | Assert : {
    1. test : Libsse.Types.Expr.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Assert | `All ] t
  11. | Branch : {
    1. test : Libsse.Types.Expr.t;
    2. mutable taken : [ `All ] t;
    3. mutable fallthrough : [ `All ] t;
    } -> [< `Branch | `All ] t
  12. | Goto : Binsec.Virtual_address.t -> [< `All ] t
  13. | Jump : Libsse.Types.Expr.t -> [< `Jump | `All ] t
  14. | Halt : [< `All ] t
  15. | Probe : {
    1. kind : Probe.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Probe | `All ] t
  16. | Builtin : {
    1. f : builtin;
    2. mutable succ : [ `All ] t;
    } -> [ `All ] t
  17. | Cut : [< `All ] t
  18. | Die : string -> [< `All ] t