microsoft / vcpkg

C++ Library Manager for Windows, Linux, and MacOS
MIT License
22.85k stars 6.3k forks source link

[New Port Request] triton #10942

Closed illera88 closed 4 years ago

illera88 commented 4 years ago

Library name: triton

Library description: Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Source repository URL: https://github.com/JonathanSalwan/Triton

Project homepage (if different from the source repository): http://triton.quarkslab.com

Anything else that is useful to know when adding (such as optional features the library may have that should be included): Triton dependencies are boost, capstone and z3 all of them already supported by vcpkg. Triton has python bindings that should be optional when building.

Cheers

LilyWangL commented 4 years ago

If you wish to add this port in the future, you can reopen this issue, but we're closing it for now.