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

sha256=87d4048c9a90c8a14ee029e77d31032a15427f06416a31938cec8a68394234c4

sha512=6a023d2a5c87c56b0aac489874431d8dcccee1451a072a826190be3a7f75a961688bab95f193f494231744abc3bc9733ab5c809057d36a5e4d24c6c29c369144

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

Module `Script.Expr`

type t =

| Int of Z.t * string option
| 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 : ?src:string -> 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