Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikačního výsledku
DUDKA, K.; HOLÍK, L.; PERINGER, P.; TRTÍK, M.; VOJNAR, T.
Originální název
From Low-Level Pointers to High-Level Containers
Anglický název
Druh
Stať ve sborníku v databázi WoS či Scopus
Originální abstrakt
We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers are manipulated via calls of standard high-level container operations like push_back or pop_front. The input of our method is a C program annotated by a special form of shape invariants which can be obtained from current automatic shape analysers after a slight modification. The resulting program where the low-level pointer statements are summarized into high-level container operations is more understandable and (among other possible benefits) better suitable for program analysis. We have implemented our approach and successfully tested it through a number of experiments with list-based containers, including experiments with simplification of program analysis by separating shape analysis from analysing data-related properties.
Anglický abstrakt
Klíčová slova
program analysis, static analysis, shape analysis, heap abstraction, symbolic memory graphs, program transformation, pointer programs, container programs
Klíčová slova v angličtině
Autoři
Rok RIV
2017
Vydáno
17.01.2016
Nakladatel
Springer Verlag
Místo
Berlin Heidelberg
ISBN
978-3-662-49121-8
Kniha
Verification, Model Checking, and Abstract Interpretation (VMCAI)
Edice
Lecture Notes in Computer Science
Svazek
9583
Strany od
431
Strany do
452
Strany počet
22
URL
http://www.springer.com/la/book/9783662491218
BibTex
@inproceedings{BUT130929, author="Kamil {Dudka} and Lukáš {Holík} and Petr {Peringer} and Marek {Trtík} and Tomáš {Vojnar}", title="From Low-Level Pointers to High-Level Containers", booktitle="Verification, Model Checking, and Abstract Interpretation (VMCAI)", year="2016", series="Lecture Notes in Computer Science", volume="9583", pages="431--452", publisher="Springer Verlag", address="Berlin Heidelberg", doi="10.1007/978-3-662-49122-5\{_}21", isbn="978-3-662-49121-8", url="http://www.springer.com/la/book/9783662491218" }