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/Script/Directive/index.html

Module `Script.Directive`Source

Sourcetype t =

| Cut of Expr.t option
| Assume of Expr.t
| Assert of Expr.t
| Reach of int * Expr.t option * Types.Output.t list
| Enumerate of int * Expr.t