Following the setup instructions, running opam install bap-server
and building from source (after figuring out LLVM dependencies, etc):
- It seems
bap-server
uses ~/.opam/system/bin/bap
. This binary is version 1.4.0
, quite old.
- Installing the latest release
.deb
packages on the system doesn't change the version used by bap-server
, I think.
How can I configure the Python bindings to use a current BAP version through bap-server
? Maybe bap-server
can be added to the Debian releases, since it's a bit challenging to build?