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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct