binsec

Semantic analysis of binary executables
Legend:
Library
Module
Module type
Parameter
Class
Class type

Libraries

This package provides the following libraries (via dune):

binsec

Documentation:

Dependencies: str, bigarray, ocamlgraph, zarith, dune-site

binsec.amd64decoder

Documentation:

Dependencies: binsec

binsec.armv7decoder

Documentation:

Dependencies: binsec

binsec.armv8decoder

Documentation:

Dependencies: binsec

binsec.smt

Documentation:

Dependencies: binsec

binsec.sse

Documentation:

Dependencies: threads, toml, binsec, binsec.smt