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.sse/Libsse/Script/Expr/index.html

Module `Script.Expr`

type t =

| Int of Z.t
| Bv of Binsec.Bitvector.t
| Symbol of Binsec.Ast.Symbol.t Binsec.Ast.loc
| Loc of Binsec.Ast.Loc.t Binsec.Ast.loc
| Unary of Binsec.Dba.Unary_op.t * t Binsec.Ast.loc
| Binary of Binsec.Dba.Binary_op.t * t Binsec.Ast.loc * t Binsec.Ast.loc
| Ite of t Binsec.Ast.loc * t Binsec.Ast.loc * t Binsec.Ast.loc

val zero : t

val one : t

val succ : t Binsec.Ast.loc -> t

val integer : Z.t -> t

val constant : Binsec.Bitvector.t -> t

val symbol : Binsec.Ast.Symbol.t Binsec.Ast.loc -> t

val loc : Binsec.Ast.Loc.t Binsec.Ast.loc -> t

val add : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sub : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val mul : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val neg : t Binsec.Ast.loc -> t

val udiv : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val umod : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sdiv : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val smod : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val logand : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val logor : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val lognot : t Binsec.Ast.loc -> t

val logxor : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

include Binsec.Sigs.COMPARISON
  with type t := t Binsec.Ast.loc
   and type boolean := t

val equal : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val diff : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val ule : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val uge : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val ult : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val ugt : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sle : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sge : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val slt : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sgt : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val shift_left : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val shift_right : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val shift_right_signed : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val rotate_left : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val rotate_right : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sext : int -> t Binsec.Ast.loc -> t

val uext : int -> t Binsec.Ast.loc -> t

val restrict : hi:int -> lo:int -> t Binsec.Ast.loc -> t

val append : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val ite : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val pp : Format.formatter -> t -> unit