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

aus dem Wiki des Entropia e.V., CCC Karlsruhe
(Fahrplanbot tut Dinge)
 
K (Video)
 
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
 
{{#ev:mediacccde|https://media.ccc.de/browse/conferences/gpn/gpn17/gpn17-8585-introduction_to_automated_binary_analysis.html||right}}
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 9: Zeile 9:




 
Slides: https://entropia.de/images/b/bb/Binary-analysis-v2.2.pdf
{{Navigationsleiste GPN16:Vorträge}}
{{Navigationsleiste GPN17:Vorträge}}

Aktuelle Version vom 31. Mai 2017, 18:51 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

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