package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=d959c2351b6cac10ffbdaf112769a676c9ad84bf6bc7fefa5cb1daa8d086cc97

sha512=1a3951896f05fb3a4cb05e81830373c75409a69c49323dc82e97c94889927b5f9561e704565a22c2a608842f67063d6c89a330477165b197a40d6ac231c09a7e

type t

type boolean

val equal : t -> t -> boolean

val diff : t -> t -> boolean

val ule : t -> t -> boolean

val uge : t -> t -> boolean

val ult : t -> t -> boolean

val ugt : t -> t -> boolean

val sle : t -> t -> boolean

val sge : t -> t -> boolean

val slt : t -> t -> boolean

val sgt : t -> t -> boolean