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

sha256=f9f66dc2a16f10d4afc9599ce76f19d3868fca184b42f2a28bc81b37089be68f

sha512=bc56322323d1c56870bb8618c9eeed95fa7eb0ba8bde3c9ea9fe86627ecb1c97abc610401e3af7662c9f9386719be284d7144c5af5d39b3f64c63e2b2cdecb1d

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