search

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
https://triton-library.github.io
Apache License 2.0
3.4k stars 524 forks source link

Upgrade Bitwuzla to version 0.2.0 #1286

Closed cnheitman closed 9 months ago

cnheitman commented 9 months ago

This PR upgrades Bitwuzla to version 0.2.0.

The only remaining file to update is Dockerfile which will upgrade once master syncs with dev-v1.0.

JonathanSalwan commented 9 months ago

do you think we can do some #if #else to support v0.1 and v0.2? Like we do for capstone? So that we can support both versions and not force users to upgrade.

cnheitman commented 9 months ago

Bitwuzla does not seem to provide a BZLA_VERSION define in their includes. We can propose it on their repo in for handling that in the future. Regarding this particular PR, it does not seem to have change much (at least, from our standpoint). I'm not sure they are going to keep releasing as often as they did with v0.1.0 and now v0.2.0. They did a big refactoring of the entire project and it seems to be stable (or soon to be).

JonathanSalwan commented 9 months ago

Ack, no problem :).