Benutzer: Gast  Login
Dokumenttyp:
Masterarbeit 
Art der Studienarbeit:
Experimentell 
Autor(en):
Thomas Hutzelmann 
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 t...    »
 
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