package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Domains.SSource

Sourcetype t
Sourceval pp : Format.formatter -> t -> unit
Sourceval included : size:int -> t -> t -> bool

included ~size t t' tests if all values in t are in t'.

Sourceval disjoint : size:int -> t -> t -> bool

disjoint ~size t t' returns true if the intersection between t and t' is empty.

Sourceval union : size:int -> t -> t -> t
Sourceval inter : size:int -> t -> t -> t

inter ~size t t' returns the intersection of the intervals t and t'.

  • raises [Empty]

    If there is no intersection.

Sourceval project : size:int -> t -> projection
Sourceval top : int -> t
Sourceval constant : size:int -> Z.t -> t
Sourceval zero : t
Sourceval one : t
Sourceval uminus : size:int -> t -> t
Sourceval uminus_feedback : size:int -> t -> t -> t
Sourceval add : size:int -> t -> t -> t
Sourceval add_feedback : size:int -> t -> t -> t -> t * t
Sourceval sub : size:int -> t -> t -> t
Sourceval sub_feedback : size:int -> t -> t -> t -> t * t
Sourceval mul : size:int -> t -> t -> t
Sourceval mul_feedback : size:int -> t -> t -> t -> t * t
Sourceval smod : size:int -> t -> t -> t
Sourceval smod_feedback : size:int -> t -> t -> t -> t * t
Sourceval umod : size:int -> t -> t -> t
Sourceval umod_feedback : size:int -> t -> t -> t -> t * t
Sourceval udiv : size:int -> t -> t -> t
Sourceval udiv_feedback : size:int -> t -> t -> t -> t * t
Sourceval sdiv : size:int -> t -> t -> t
Sourceval sdiv_feedback : size:int -> t -> t -> t -> t * t
Sourceval append : size1:int -> t -> size2:int -> t -> t
Sourceval append_feedback : size1:int -> t -> size2:int -> t -> t -> t * t
Sourceval equal : size:int -> t -> t -> t
Sourceval equal_feedback : size:int -> t -> t -> t -> t * t
Sourceval diff : size:int -> t -> t -> t
Sourceval diff_feedback : size:int -> t -> t -> t -> t * t
Sourceval ule : size:int -> t -> t -> t
Sourceval ule_feedback : size:int -> t -> t -> t -> t * t
Sourceval uge : size:int -> t -> t -> t
Sourceval uge_feedback : size:int -> t -> t -> t -> t * t
Sourceval ult : size:int -> t -> t -> t
Sourceval ult_feedback : size:int -> t -> t -> t -> t * t
Sourceval ugt : size:int -> t -> t -> t
Sourceval ugt_feedback : size:int -> t -> t -> t -> t * t
Sourceval sle : size:int -> t -> t -> t
Sourceval sle_feedback : size:int -> t -> t -> t -> t * t
Sourceval sge : size:int -> t -> t -> t
Sourceval sge_feedback : size:int -> t -> t -> t -> t * t
Sourceval slt : size:int -> t -> t -> t
Sourceval slt_feedback : size:int -> t -> t -> t -> t * t
Sourceval sgt : size:int -> t -> t -> t
Sourceval sgt_feedback : size:int -> t -> t -> t -> t * t
Sourceval logand : size:int -> t -> t -> t
Sourceval logand_feedback : size:int -> t -> t -> t -> t * t
Sourceval logor : size:int -> t -> t -> t
Sourceval logor_feedback : size:int -> t -> t -> t -> t * t
Sourceval lognot : size:int -> t -> t
Sourceval lognot_feedback : size:int -> t -> t -> t
Sourceval logxor : size:int -> t -> t -> t
Sourceval logxor_feedback : size:int -> t -> t -> t -> t * t
Sourceval shift_left : size:int -> t -> t -> t
Sourceval shift_left_feedback : size:int -> t -> t -> t -> t * t
Sourceval shift_right : size:int -> t -> t -> t
Sourceval shift_right_feedback : size:int -> t -> t -> t -> t * t
Sourceval shift_right_signed : size:int -> t -> t -> t
Sourceval shift_right_signed_feedback : size:int -> t -> t -> t -> t * t
Sourceval rotate_left : size:int -> t -> t -> t
Sourceval rotate_left_feedback : size:int -> t -> t -> t -> t * t
Sourceval rotate_right : size:int -> t -> t -> t
Sourceval rotate_right_feedback : size:int -> t -> t -> t -> t * t
Sourceval uext : int -> size:int -> t -> t
Sourceval uext_feedback : int -> size:int -> t -> t -> t
Sourceval sext : int -> size:int -> t -> t
Sourceval sext_feedback : int -> size:int -> t -> t -> t
Sourceval restrict : lo:int -> hi:int -> size:int -> t -> t
Sourceval restrict_feedback : lo:int -> hi:int -> size:int -> t -> t -> t
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