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

sha256=05c507b9b2d96387499eb5c8be676db6be1604a9941e367fc19b8da90ea903be

sha512=e18c5d5e65e53a912b54948a8c66723023acdc84ff26edb627d6f88272447d277f379d51b567523a242b17036c5a44fc94861587d8bd3b08e077782073de4bee

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