Login
From:
Eduardo Blázquez’s Personal Webpage
(Uncensored)
subscribe
Solving Hex-Rays Challenge with Triton and TritonDSE
https://fare9.github.io/symbolic%20execution/triton/hexrays-challenge-triton/
links
backlinks
Tagged with:
python
linux
c++
triton
elf
symbolic execution
binary analysis
quarkslab
Triton is a library for doing Symbolic Execution, useful for doing common CTF challenges and analyzing obfuscations. TritonDSE is a library built on top of Triton which provides easy and customizable Dynamic Symbolic Execution Capabilities
Roast topics
Find topics
Find it!
