User: Guest  Login
Document type:
Masterarbeit 
Type detailled:
Experimentell 
Author(s):
Thomas Hutzelmann 
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 t...    »
 
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