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

sha256=5e1d0f26a567df4abcbeb964b454cf8b2c8484194ff2d9639bdeb94d63edcb3b

sha512=a638c665407fde9aadbd57a7b9f84260db8f03c0cbf65722732d43dfc93122d801e31977e0ba7cd249b340262caf216bca746a3520d0e01d487a5baf6a6c77e6

doc/binsec.sse/Libsse/Exec/Start/State/index.html

Module `Start.State`Source

include sig ... end

type t = SF(Query_stats).t

Sourcemodule Value : sig ... end

val empty : unit -> t

val enumerate : 
  Value.t ->
  ?n:int ->
  ?except:Binsec.Bitvector.t list ->
  t ->
  (Binsec.Bitvector.t * t) list

val fresh : Binsec.Dba.Var.t -> t -> t

val alloc : array:string -> t -> t

val memcpy : addr:Binsec.Bitvector.t -> int -> Binsec.Loader_buf.t -> t -> t

val merge : t -> t -> t

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

val pp_smt : 
  (Binsec.Dba.Expr.t * string) list option ->
  Format.formatter ->
  t ->
  unit

val as_ascii : name:string -> t -> string

val as_c_string : name:string -> t -> string

val to_formula : t -> Binsec.Formula.formula

Sourceval get_value : Binsec.Dba.Expr.t -> t -> Binsec.Bitvector.t

Sourceval assume' : Value.t -> t -> t option

Sourceval assume : Binsec.Dba.Expr.t -> t -> t option

Sourceval test' : Value.t -> t -> t Libsse__Types.test

Sourceval test : Binsec.Dba.Expr.t -> t -> t Libsse__Types.test

Source

val split_on : 
  Binsec.Dba.Expr.t ->
  ?n:int ->
  ?except:Binsec.Bitvector.t list ->
  t ->
  (Binsec.Bitvector.t * t) list

Sourceval assign' : Binsec.Dba.Var.t -> Value.t -> t -> t

Sourceval assign : Binsec.Dba.Var.t -> Binsec.Dba.Expr.t -> t -> t

Source

val read : 
  addr:Binsec.Dba.Expr.t ->
  int ->
  Binsec.Machine.endianness ->
  t ->
  Value.t * t

Sourceval get_value' : Binsec.Dba.Expr.t -> t -> Binsec.Bitvector.t

Sourceval write' : addr:Value.t -> Value.t -> Binsec.Machine.endianness -> t -> t

Source

val write : 
  addr:Binsec.Dba.Expr.t ->
  Binsec.Dba.Expr.t ->
  Binsec.Machine.endianness ->
  t ->
  t

Source

val select : 
  string ->
  addr:Binsec.Dba.Expr.t ->
  int ->
  Binsec.Machine.endianness ->
  t ->
  Value.t * t

Source

val store' : 
  string ->
  addr:Value.t ->
  Value.t ->
  Binsec.Machine.endianness ->
  t ->
  t

Source

val store : 
  string ->
  addr:Binsec.Dba.Expr.t ->
  Binsec.Dba.Expr.t ->
  Binsec.Machine.endianness ->
  t ->
  t

package binsec

Install

Dune Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Libsse/Exec/Start/State/index.html

Module Start.StateSource

Module `Start.State`Source