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

sha256=ee45b9a6d54aebfb2b860c8fa7548ad85afbf1da3fe65cee10529c8a0934b8d6

sha512=493658d337a96bf6ac7b54b162717aeb31c527348a50552bad8f9b0f3f08791295e89c09b02b3f1c8cfa3913d57625c791e4e80322477e2a5f974ca7d85d57ae

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

Module `Libsse.Probe`Source

Sourcetype t =

| Print of Types.Output.t
| Enumerate of {
1. enum : Libsse.Types.Expr.t;
2. id : int;
3. format : Types.Output.format;
4. n : int;
5. mutable k : int;
6. mutable values : Binsec.Bitvector.t list;
}
| Reach of {
1. id : int;
2. mutable n : int;
3. guard : Libsse.Types.Expr.t;
4. actions : Types.Output.t list;
}