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
- Autor:
- Siegel, Holger
- Jahr:
- 2015
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- 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
- WWW:
- https://mediatum.ub.tum.de/?id=1232999
- Eingereicht am:
- 11.11.2014
- Mündliche Prüfung:
- 02.02.2015
- Letzte Änderung:
- 02.03.2016
BibTeX