User: Guest  Login
Document type:
Masterarbeit
Type detailled:
Experimentell
Author(s):
Hutzelmann, Thomas
Title:
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...     »
Subject:
INF Informationswesen, Bibliotheks-, Dokumentations-, Archiv-, Museumswesen
Year:
2016
Quarter:
4. Quartal
University:
Technische Univerisität München; Ludwig-Maximilians Universität; Universität Augsburg
 BibTeX