GPN17:Introduction to Automated Binary Analysis

aus dem Wiki des Entropia e.V., CCC Karlsruhe

Ein Vortrag von Florian Magin auf der GPN17.

Eventuell haben manche schon von "Symbolic Execution", "Taint Analysis", "SMT-Solving" oder ähnlichem gehört. Im Vortrag werden diese und andere Techniken die bei automatischer Analyse von Programmen, ob Sourcecode basiert oder direkt Binaries, verwendet werden können vorgestellt. Es wird eine kleine Übersicht über existierende Frameworks geben, welche man davon aus welchen Gründen benutzen will und wie man kompliziert aussehende Probleme plötzlich in wenigen Zeilen Python lösen kann.

Links

Slides: https://entropia.de/images/b/bb/Binary-analysis-v2.2.pdf