I have originally written this post for blackbunny‘s blog.
As stated in Triton’s home page:
Triton is a dynamic binary analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, a SMT Solver Interface and, the last but not least, Python bindings. Based on these components, you are able to build program analysis tools, automate reverse engineering and perform software verification.
That might sound gibberish for some of you. So let’s cover these definitions first.
Continue reading Solving a Crack Me with Triton and Pin (a.k.a the lazy way)