Session
Programm GPN19

Using angr to augment binary analysis workflow

This is a workshop on the open source binary analysis framework angr. We will teach you about its various analyses techniques for reverse engineering and how to integrate them into your workflow.

In this workshop we will present the binary analysis toolkit [angr](https://angr.io). We will show it's capabilities for reverse engineering and how to use them to improve your reverse engineering workflow. This includes both using angr as a standalone tool, how it's features can be integrated into modern tools like IDA, Binary Ninja or radare2 and how to built your own custom tooling on top of it.

We will introduce core concepts like:

* Intermediate Representations * architecture independent analysis
* formalizing instruction behavior

* Symbolic Execution * Reasoning about how some code would behave depending on all its inputs and not just with one specific input

* SMT Solving * Formalizing your problem
* Use ~~decades of research in automated theorem proving and constraint solving~~ some Python to solve it

And present problems that can be solved using those concepts in addition to introductory exercises:

* First Hands-On experience with angr
* Thinking about programs symbolically instead of concretely
* automatically finding passwords/keys/backdoors
* Breaking anti-reverse-engineering measures and tricks (e.g. opaque predicates, dead code, obfuscation)

Additional information

Type Workshop (lang)
Language English

More sessions

5/30/19
anathem
ZKM_AckerSpace
Wolltest du schon immer deinen eigenen blinkenden LED-Regenbogen haben? Hier gibts die Teile und das Mindeste an Wissen, um selbst einen zusammenzulöten und programmieren!
5/30/19
Erik Albers
ZKM_AckerSpace
In diesem Workshop werden Funktion und Nutzungsmöglichkeiten von F- und G-Droid vorgestellt sowie die besten Android-basierten Freie-Software-Apps inklusive Methoden der Anonymisierung und Verschlüsselung.
5/31/19
ajuvo
ZKM_CodeHUB
Auch im Südwesten gibt es Hacker eG-Gründer. Diese wollen sich treffen.
5/31/19
Wonnefuchs
ZKM_AckerSpace
In diesem Workshop wollen wir zusammen über Techniken sprechen, sich selbst, das eigene Verhalten und die eigene Wirkung zu analysieren und zu verstehen. Durch das Erkennen der eigenen Eigenschaften und Grenzen wird Selbstvertrauen aufgebaut.
5/31/19
Logogistiks
ZKM_CodeHUB
Von Kind zu Kind: Wir programmieren mit Scratch Spiele. Es sind keine Programmierkentnisse vorausgesetzt, da es ein Anfängerkurs ist.
5/31/19
Franziska Kunsmann
Anderswo
Critical Mass am 31.05. am Kronenplatz
6/1/19
Xorandra
Anderswo
_Dieses Event findet im Seminarraum des ZKM im 2. OG statt_ Meet n Greet aller Haecksen und -interessierten (vgl. http://www.haecksen.org)