Login
From:
Eduardo Blázquez’s Personal Webpage
(Uncensored)
subscribe
Solving the hack.lu 2021 OLLVM Challenge with Triton
https://fare9.github.io/symbolic%20execution/triton/hacklu-ollvm-triton/
links
backlinks
Tagged with:
python
linux
c++
triton
elf
symbolic execution
binary analysis
Following the previous post about using Triton for solving challenges through symbolic execution and SMT Solving, this time we will try solving an obfuscated hacklu.
Roast topics
Find topics
Find it!
