issues
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
525
forks
source link
Add Bitwuzla support for macOS
#1149
Closed
cnheitman
closed
2 years ago
cnheitman
commented
2 years ago
This PR adds Bitwuzla support for macOS (issue #1145).
This PR adds Bitwuzla support for macOS (issue #1145).