package binsec

  1. Overview
  2. Docs
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.