failed to load plugin "primus-symbolic-executor"

BinaryAnalysisPlatform / bap

Binary Analysis Platform

MIT License

2.07k stars 273 forks source link

failed to load plugin "primus-symbolic-executor" #1592

Open anzosasuke opened 1 year ago

anzosasuke commented 1 year ago

Im getting this error in bap 2.5.0

Failed to load 1 plugins, details follow:
The plugin `/usr/local/lib/bap/primus_symbolic_executor.plugin' has failed with the following error:
Failed to load z3ml: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"/tmp/z3ml677f53.cmxs: undefined symbol: Z3_mk_u32string\")")

lion10 commented 2 months ago

Temporary Solution If you are not planning to use the symbolic executor, you can temporarily disable it by renaming the plugin file. This prevents it from loading and causing errors:

sudo mv /usr/local/lib/bap/primus_symbolic_executor.plugin /usr/local/lib/bap/primus_symbolic_executor.plugin.bak