triton (vcpkg): 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.
Keywords: binary-analysis|binary-translation|deobfuscation|dynamic-analysis|emulator|instruction-semantics|lifter|program-analysis|reverse-engineering|symbolic-execution|taint-analysis