Benutzer: Gast  Login

Dokumenttyp:
Masterarbeit
Art der Studienarbeit:
Experimentell
Autor(en):
Hutzelmann, Thomas
Titel:
Compositional Analysis for Exposing Vulnerabilities – A Symbolic Execution Approach
Abstract:
This thesis deepens the research about MACKE, a framework for compositional program analysis based on symbolic execution with the KLEE engine. MACKE decomposes the analyzed program into small units, each containing one function from the program with all its dependencies. These units are analyzed with KLEE in order expose vulnerabilities inside the function. Then, MACKE matches all discovered problems with the same reason and uses additional KLEE runs aiming to propagate the problem to the ent...     »
Fachgebiet:
INF Informationswesen, Bibliotheks-, Dokumentations-, Archiv-, Museumswesen
Jahr:
2016
Quartal:
4. Quartal
Hochschule / Universität:
Technische Univerisität München; Ludwig-Maximilians Universität; Universität Augsburg
 BibTeX