User: Guest  Login
Original title:
Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging 
Translated title:
Dynamische symbolische Ausführung mit skalierbarer interpolationsbasierter Pfadverschmelzung 
Year:
2017 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Eckert, Claudia (Prof. Dr.) 
Referee:
Eckert, Claudia (Prof. Dr.); Pretschner, Alexander (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
TUM classification:
DAT 460d; DAT 050d 
Abstract:
This thesis deals with the automated detection of common software weaknesses in C programs. The approach is selective symbolic execution on the source code level with interpolation based path merging. Interpolation and path merging are used to reduce the necessary computational effort without reduction in bug detection accuracy compared to path coverage, the symbolic execution then achieves error and branch coverage. Interpolation is also used to further reduce the computational effort and to ac...    »
 
Translated abstract:
Die vorliegende Arbeit beschäftigt sich mit der automatischen Erkennung von Fehlern (Common Weaknesses) in C Programmen. Der Ansatz ist eine selektive symbolische Ausführung auf der Quelltext-Ebene mit interpolationsbasierter Pfadverschmelzung. Interpolation und Pfadverschmelzung werden einerseits zur Verringerung der nötigen Rechenleistung ohne Genauigkeitsverlust der Fehlererkennung im Vergleich zu Path Coverage eingesetzt, erzielt wird dann ”Error and Branch Coverage”. Andererseits kann die I...    »
 
Oral examination:
09.06.2017 
File size:
3441829 bytes 
Pages:
134 
Last change:
25.09.2018