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

Set clang for Bitwuzla build on Python workflow #1179

Closed cnheitman closed 1 year ago

cnheitman commented 1 year ago

Long term solution for building Bitwuzla on Python workflow.