Benutzer: Gast  Login
Originaltitel:
Frameworks for analyzing multi-threaded C 
Übersetzter Titel:
Gemeinsamer Rahmen für die Analyse von Multi-Threaded C 
Jahr:
2014 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Seidl, Helmut (Prof. Dr.) 
Gutachter:
Seidl, Helmut (Prof. Dr.); Esparza Estaun, Francisco Javier (Prof. Dr. Dr. h.c.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
static program analysis, abstract interpretation, fixpoint iteration 
Schlagworte (SWD):
Programmanalyse; Multithreading; C Programmiersprache; Framework Informatik 
TU-Systematik:
DAT 530d; DAT 358d; DAT 516d 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Mündliche Prüfung:
06.06.2014 
Dateigröße:
957164 bytes 
Seiten:
132 
Letzte Änderung:
07.10.2014