GPN17:Introduction to Automated Binary Analysis: Unterschied zwischen den Versionen

aus dem Wiki des Entropia e.V., CCC Karlsruhe
(Fahrplanbot tut Dinge)
 
K (Fahrplanbot tut Dinge)
Zeile 1: Zeile 1:


Ein Vortrag von Florian Magin auf der [[GPN16]].
Ein Vortrag von Florian Magin auf der [[GPN17]].


Eventuell haben manche schon von "Symbolic Execution", "Taint Analysis", "SMT-Solving" oder ähnlichem gehört.
Eventuell haben manche schon von "Symbolic Execution", "Taint Analysis", "SMT-Solving" oder ähnlichem gehört.
Zeile 10: Zeile 10:




{{Navigationsleiste GPN16:Vorträge}}
{{Navigationsleiste GPN17:Vorträge}}

Version vom 14. Mai 2017, 22:00 Uhr

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