Benutzer: Gast  Login
Originaltitel:
Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs 
Übersetzter Titel:
Numerische Inferenz von Speicherstrukturen für die Automatische Analyse von Programmen mit Dynamischer Speicherverwaltung 
Jahr:
2015 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Simon, Axel (Dr.) 
Gutachter:
Simon, Axel (Dr.); Seidl, Helmut (Prof. Dr.); Podelski, Andreas (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Kurzfassung:
A shape analysis solely based on off-the-shelf relational numeric domains is presented that automatically infers heap shapes by summarizing numerical representations of memory regions. We also infer relations between directly and indirectly connected memory regions and verify sortedness and numeric search-tree invariants. 
Übersetzte Kurzfassung:
Diese Arbeit stellt eine automatische Analyse von Programmen mit dynamischer Speicherverwaltung vor, die ausschließlich auf relationalen numerischen Domänen basiert. Invarianten über dynamische Speicherstrukturen werden dabei inferiert, indem numerische Repräsentationen von Speicherregionen summarisiert werden. Außerdem werden Relationen zwischen direkt oder indirekt verbundenen Regionen inferiert und Eigenschaften wie Sortiertheit und numerische Invarianten von Suchbäumen verifiziert. 
ISBN:
978-3-8439-2439-9 
Mündliche Prüfung:
02.02.2015 
Letzte Änderung:
02.03.2016