Module Libsse.IrSource

Sourcetype builtin = ..
Sourcetype 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
Sourcetype terminator =
  1. | Jump of {
    1. target : Libsse.Types.Expr.t;
    2. tag : Binsec.Dba.tag;
    }
  2. | Halt
  3. | Cut
  4. | Die of string
Sourcetype 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
Sourceval pp_probe : Format.formatter -> 'a -> unit
Sourceval pp_fallthrough : Format.formatter -> fallthrough -> unit
Sourceval register_builtin_pp : (Format.formatter -> builtin -> bool) -> unit
Sourceval pp_terminator : Format.formatter -> terminator -> unit
Sourceval pp_node : Format.formatter -> node -> unit
Sourceval shuffle : (int -> int) -> node -> node
Sourcemodule type GRAPH = sig ... end