INSTALL.md

Installing BINSEC from sources

The latest public revision of binsec ase is available on GitHub: https://github.com/binsec/binsec-ase.

Dependencies

Dependencies can be automatically installed via opam.

$ opam install dune menhir ocamlgraph mmap zarith bitwuzla

System

• GMP v6.1 (GNU Multi-Precision arithmetic library)
• OCaml >= 4.08

OCaml

• dune >= 2.0
• menhir
• ocamlgraph >= 1.8.5
• zarith >= 1.4
• bitwuzla
• odoc (documentation)
• qcheck (test)
• ounit2 (test)

Build instructions

With make

Makefile is a wrapper around dune build system.

---

ℹ️ Local opam switch
If opam is available, using the following command will create a new OCaml switch inside the BINSEC tree.

OCAML_COMPILER=4.09.1 make switch

A local switch makes the installation of dependencies, including ocaml supported version, not impacting the system wide ocaml configuration.
Doing so, everything installed will be readily available but only inside the BINSEC directory.

---

Run the following in order to build the binsec executable:

make

Then run the following in order to install binsec in the current switch:

make install

With dune

Make sure the above dependencies are available.

Run the following in order to build binsec executable:

dune build @install

binsec executable can be found in _build/install/default/bin.

Run the following in order to install binsec in the current switch:

dune install

Or use it locally with:

dune exec -- binsec [...]