package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
module A : sig ... end
module Expr = Binsec.Dba.Expr
module Var = Binsec.Dba.Var
module Output : sig ... end
exception Unknown
exception Unresolved of string * Var.Tag.attribute
exception Undef of Var.t
exception Uninterp of string
exception Non_unique
exception Non_mergeable
type 'a test =
  1. | True of 'a
  2. | False of 'a
  3. | Both of {
    1. t : 'a;
    2. f : 'a;
    }
type 'a target = ('a * string) list option
type size = Binsec.Term.size
and 'a interval = 'a Binsec.Term.interval
and unary = Binsec.Term.unary
and binary = Binsec.Term.binary
and 'a operator = 'a Binsec.Term.operator =
  1. | Not : unary operator
  2. | Sext : size -> unary operator
  3. | Uext : size -> unary operator
  4. | Restrict : int interval -> unary operator
  5. | Plus : binary operator
  6. | Minus : _ operator
  7. | Mul : binary operator
  8. | Udiv : binary operator
  9. | Umod : binary operator
  10. | Sdiv : binary operator
  11. | Smod : binary operator
  12. | Or : binary operator
  13. | And : binary operator
  14. | Xor : binary operator
  15. | Concat : binary operator
  16. | Lsl : binary operator
  17. | Lsr : binary operator
  18. | Asr : binary operator
  19. | Rol : binary operator
  20. | Ror : binary operator
  21. | Eq : binary operator
  22. | Diff : binary operator
  23. | Ule : binary operator
  24. | Ult : binary operator
  25. | Uge : binary operator
  26. | Ugt : binary operator
  27. | Sle : binary operator
  28. | Slt : binary operator
  29. | Sge : binary operator
  30. | Sgt : binary operator
type _ value = ..
type value +=
  1. | Abstract : 'a value
module type UID = sig ... end
module type VALUE = sig ... end
type 'a feature = ..
module type RAW_STATE = sig ... end
type _ key
module type STATE = sig ... end
type status =
  1. | Halt
  2. | Cut
  3. | Unsatisfiable_assumption
  4. | Assertion_failed
  5. | Max_depth
  6. | Enumeration_limit
  7. | Unresolved_formula
  8. | Non_executable_code
  9. | Die
module type EXPLORATION_STATISTICS = sig ... end
module type EXPLORATION_STATISTICS_FULL = sig ... end
module type QUERY_STATISTICS = sig ... end
module type STATE_FACTORY = functor (QS : QUERY_STATISTICS) -> RAW_STATE
module type WORKLIST = sig ... end