package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

Dune Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.8.2.tbz

sha256=b8e7b9c756245656c481e992549fb7b1864ee6eeb492e16488e7a9d962d39cdb

sha512=07a5e4105e5275751fcc6832743f5f9eedc72bd061273ec54c4466135032852120df3784ba571656c788e5f3cd971aad8a53f030336a364e77e940e26dff38d7

doc/binsec/Binsec/Interval/BitVec/index.html

Module `Interval.BitVec`

include S with type point = Bitvector.t and type interval = Bitvector.t t

type point = Bitvector.t

type interval = Bitvector.t t

type t

val empty : t

val singleton : interval -> t

val add : interval -> t -> t

val remove : interval -> t -> t

val is_empty : t -> bool

val cardinal : t -> int

val mem : interval -> t -> bool

val min : t -> point option

val max : t -> point option

val is_point : t -> point option

val is_interval : t -> interval option

val belongs : point -> t -> interval list

val intersects : interval -> t -> interval list

val map : (interval -> interval) -> t -> t

val iter : (interval -> unit) -> t -> unit

val fold : (interval -> 'a -> 'a) -> t -> 'a -> 'a

val union : t -> t -> t

val inter : t -> t -> t

val print : (point -> string) -> t -> string

val ule : Bitvector.t -> t

val uge : Bitvector.t -> t

val ult : Bitvector.t -> t

val ugt : Bitvector.t -> t

val sle : Bitvector.t -> t

val sge : Bitvector.t -> t

val slt : Bitvector.t -> t

val sgt : Bitvector.t -> t