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

sha256=e9101e68d317c837d5cff9608c6fba2127dd31ef6373b9b90806780c1d80bb52

sha512=c01af277239b8cc84fb904c301897f7d2388a8c850c7cb6a53acb8a4f8d51115c8a595c5517843d076421a76f4b2becb16e722b4c90f19a8fa208cce5f3ba274

doc/binsec/Binsec/Directive/index.html

Module `Binsec.Directive`

Directives are general located goals that one would like to achieve during an * analysis

module Action : sig ... end

module Choice : sig ... end

module Count : sig ... end

type d = private

| Reach of Count.t * Dba.Expr.t * Action.t list
| Enumerate of int * Dba.Expr.t
| Cut of Dba.Expr.t
| Assume of Dba.Expr.t
| Assert of Dba.Expr.t
| Choice of Choice.t

type t

val check_and_decr : t -> t option

val directive : t -> d

val loc : t -> Dba.Expr.t

val addr : t -> Virtual_address.t

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

Constructors

val reach : 
  ?n:int ->
  ?guard:Dba.Expr.t ->
  ?actions:Action.t list ->
  loc:Dba.Expr.t ->
  unit ->
  t

val reach_all : 
  ?guard:Dba.Expr.t ->
  ?actions:Action.t list ->
  loc:Dba.Expr.t ->
  unit ->
  t

val enumerate : ?n:int -> Dba.Expr.t -> loc:Dba.Expr.t -> unit -> t

val enumerate_all : Dba.Expr.t -> loc:Dba.Expr.t -> unit -> t

val cut : ?guard:Dba.Expr.t -> loc:Dba.Expr.t -> unit -> t

val assume : Dba.Expr.t -> loc:Dba.Expr.t -> unit -> t

val dynamic_assert : Dba.Expr.t -> loc:Dba.Expr.t -> unit -> t

val choose : alternate:bool -> side:Choice.side -> d

val choose_alternative : ?alternate:bool -> loc:Dba.Expr.t -> unit -> t

val choose_consequent : ?alternate:bool -> loc:Dba.Expr.t -> unit -> t

val is_choice : t -> bool

val reloc : Dba.Expr.t -> t -> t

On This Page

Constructors