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

sha256=2f990f80ebd06b71af4fde46c6a248eb74d52c6f46be63bdf97d99f72589db13

sha512=38d93ae20ae58e10027eb0f7669d3ab960ddc640526018fc94008ccd6cb63ec99030d0ee39dfb9cbd0d5e144db4615c9027bd2adcb197fc75676c45dbb54f836

doc/binsec.sse/Libsse/Types/index.html

Module `Libsse.Types`Source

Sourcemodule S = Binsec.Basic_types.String

Sourcemodule I = Binsec.Basic_types.Int

Sourcemodule A : sig ... end

Sourcemodule Expr = Binsec.Dba.Expr

Sourcemodule Var = Binsec.Dba.Var

Sourcemodule Output : sig ... end

Sourceexception Unknown

Sourceexception Undef of Var.t

Sourceexception Uninterp of string

Sourceexception Non_unique

Sourceexception Non_mergeable

Sourcetype 'a test =

| True of 'a
| False of 'a
| Both of {
1. t : 'a;
2. f : 'a;
}

Sourcetype target = (Expr.t * string) list option

Sourcetype size = Binsec.Term.size

Sourceand 'a interval = 'a Binsec.Term.interval

Sourceand unary = Binsec.Term.unary

Sourceand binary = Binsec.Term.binary

Sourceand 'a operator = 'a Binsec.Term.operator =

| Not : unary operator
| Sext : size -> unary operator
| Uext : size -> unary operator
| Restrict : int interval -> unary operator
| Plus : binary operator
| Minus : _ operator
| Mul : binary operator
| Udiv : binary operator
| Umod : binary operator
| Sdiv : binary operator
| Smod : binary operator
| Or : binary operator
| And : binary operator
| Xor : binary operator
| Concat : binary operator
| Lsl : binary operator
| Lsr : binary operator
| Asr : binary operator
| Rol : binary operator
| Ror : binary operator
| Eq : binary operator
| Diff : binary operator
| Ule : binary operator
| Ult : binary operator
| Uge : binary operator
| Ugt : binary operator
| Sle : binary operator
| Slt : binary operator
| Sge : binary operator
| Sgt : binary operator

Sourcemodule type VALUE = sig ... end

Sourcemodule type STATE = sig ... end

Sourcemodule type EXPLORATION_STATISTICS = sig ... end

Sourcemodule type QUERY_STATISTICS = sig ... end

Sourcemodule type STATE_FACTORY = functor (QS : QUERY_STATISTICS) -> STATE

Sourcemodule type WORKLIST = sig ... end