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
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!