Install BINSEC from sources

BINSEC is open source, it can be downloaded on GitHub.

It can be easily installed with the help of the Opam package manager.

git clone https://github.com/binsec/binsec.git
cd binsec
opam switch create . -n
opam install curses bitwuzla unisim_archisec binsec

More details can be found here.