User: Guest  Login
Original title:
Frameworks for analyzing multi-threaded C 
Translated title:
Gemeinsamer Rahmen für die Analyse von Multi-Threaded C 
Year:
2014 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Seidl, Helmut (Prof. Dr.) 
Referee:
Seidl, Helmut (Prof. Dr.); Esparza Estaun, Francisco Javier (Prof. Dr. Dr. h.c.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
static program analysis, abstract interpretation, fixpoint iteration 
Controlled terms:
Programmanalyse; Multithreading; C Programmiersprache; Framework Informatik 
TUM classification:
DAT 530d; DAT 358d; DAT 516d 
Abstract:
We show how side-effecting constraint systems provide a unified framework for realizing efficient interprocedural analyses of programs, where the amount of context-sensitivity can be adjusted and where the context-sensitive analyses of local properties can be combined with flow-insensitive analyses of global properties. To use the widening and narrowing approach on (side-effecting) constraint systems, we present a novel operator together with adapted versions of solving algorithms. Finally, we r...    »
 
Translated abstract:
Wir zeigen, dass Ungleichungssysteme mit Seiteneffekten einen einheitlichen Rahmen für die Realisierung von effizienten interprozeduralen Analysen von Programmen bieten, speziell wenn der Umfang der Kontextsensitivität einzugestellt ist und lokale, kontextsensitive Analysen mit globalen, kontextinsensitiven Analysen zu kombinieren ist. Um widening und narrowing auf diese Ungleichungssysteme anzuwenden, stellen wir einen neuen Lösungsalgorithmen vor. Weiterhin diskutieren wir Herausforderungen di...    »
 
Oral examination:
06.06.2014 
File size:
957164 bytes 
Pages:
132 
Last change:
07.10.2014