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 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 target = (Expr.t * 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
module type VALUE = sig ... end
module type STATE = sig ... end
module type EXPLORATION_STATISTICS = sig ... end
module type QUERY_STATISTICS = sig ... end
module type STATE_FACTORY = functor (QS : QUERY_STATISTICS) -> 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