Editing 52455645525345 (section)

=== Symbolic execution with angr workshop ===

{{Event
|Title=52455645525345
|Description=Lazy reversing - angr & symbolic execution workshop
|Type=Workshop
|Date=2021-03-24
|Start=18:00
|Host=barbieauglend
|Location=https://virtual.chaosdorf.space/Hackcenter Virtual Hackcenter
|isRelevant=Yes
}}

Symbolic execution is a powerful tool for code verification, bug hunting, and reverse engineering. In this class, we will dive into the concepts of constraint programming and SMT solvers and how binary analysis tools, such as angr, integrate these concepts into their frameworks. It is going to be a very practical class, where we are going to solve various CTF challenges with the goal of visiting different features of angr. 

Most CTF players use z3 and angr to save time when solving reverse engineering challenges and that is also the path we are going to take. 
If time is available, we will also check manticore and miasm, two other tools with symbolic execution engines with different features!

==== Requirements for the symbolic execution workshop ====

* Be comfortable understanding and writing Python3 code
* Familiarity with x86/x64 assembly
* VMware Workstation or Player (at least version 12) (no VirtualBox)
* At least 40GB of free disk space- At least 8GB of RAM
* A laptop with administrative privileges

==== Goals ====

* Understand how SMT solvers work
* Understand how symbolic execution works
* Get all the flags!

==== Materials ====

* Andrea Fioraldi's Bachelor Thesis "Symbolic Execution and Debugging Synchronization" (https://arxiv.org/pdf/2006.16601.pdf)
* Training materials @ ShaktiCon (https://keybase.pub/barbieauglend/2021_03_Shakti/)

==== Participants (please register!) ====

* Zeid
* b3y0nd3r
* {{U|hanemile}}
* Arne
* Count3rmeasure
* Patuti
* harryr
* dobin
* ente (maybe)
* mx
* gabriel
* Peace-Maker
* linse