https://reverse.zip/Reverse.zipReverse, pwn and cryptography. 2026-08-22T18:50:47-02:00 Reverse.zip https://reverse.zip/ Jekyll © 2026 Reverse.zip /assets/img/favicons/favicon.ico /assets/img/favicons/favicon-96x96.png Part 1 - Introduction2026-08-05T08:00:00-02:00 2026-08-05T08:00:00-02:00 https://reverse.zip/posts/introduction_a_l_execution_symbolique_avec_angr/ kabeche In the name of Allah, the Most Gracious, the Most Merciful. Introduction 💭 angr is an open source symbolic execution engine that lets you analyze and emulate binary programs. It uses symbolic execution to explore all possible execution branches of a program. Among other things, it can be used to discover vulnerabilities, bugs, and the conditions needed to reach certain parts of a program. On... Part 2 - Basic features2026-08-04T08:00:00-02:00 2026-08-04T08:00:00-02:00 https://reverse.zip/posts/introduction_a_l_execution_symbolique_avec_angr_partie_2/ kabeche Other basic features The previous chapter covered the basics of symbolic execution as well as the main components that angr uses to perform symbolic execution in a program. If you managed to complete the challenge given as an exercise, you should have understood the main principles of symbolic execution. However, we have only seen angr’s elementary components. The goal of this chapter is not... Part 3 - Basic features (again)2026-08-03T08:00:00-02:00 2026-08-03T08:00:00-02:00 https://reverse.zip/posts/introduction_a_l_execution_symbolique_avec_angr_partie_3/ kabeche Using hooks like a pro 💪 If your memory is not too short, you should remember how we used a hook. As a reminder, we did something like this: p.hook(0x40113f, hook_atoi,5) This allowed us to hook the call atoi instruction (5 bytes in size) so that we could modify its behavior through Python. However, there are other use cases where we can use hooks. For example, you must have noticed that w... Part 4 - Keep learning2026-08-02T08:00:00-02:00 2026-08-02T08:00:00-02:00 https://reverse.zip/posts/introduction_a_l_execution_symbolique_avec_angr_partie_4/ kabeche Learning how to use documentation We have seen several basic features offered by angr, from using the solver to implementing hooks, including handling standard input and output. However, it will unfortunately not be possible to cover all of angr’s features in a single course, some of which are very interesting: Using the graph representation of basic blocks Concolic execution angr plu... Part 5 - Exercise solutions2026-08-01T08:00:00-02:00 2026-08-01T08:00:00-02:00 https://reverse.zip/posts/introduction_a_l_execution_symbolique_avec_angr_partie_5/ kabeche Exercise solutions Several exercises were proposed in this course. This section contains solutions for each of them. Note that there can be multiple ways to solve the same exercise. These are therefore not “optimal” solutions, but only solutions that make it possible to solve a given exercise. In all the proposed scripts, it is normal if you do not have the same addresses, because this par...