package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

dune-project

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.0.tbz

sha256=81859d54721969893aabcb5b16ff41d0698f8c24799d8357ec7b1c10cd5ebf94

sha512=580561e70189b3c77bf09364ad393750263b5cfb36dce01aa7cd34ea4d4ebcc9085a52f18b7514e4046d51b488f2dfc5271aea8259c7cbce1534b880cf76bb6e

doc/binsec.sse/Libsse/Script/Expr/index.html

Module `Script.Expr`Source

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