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?