Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1205943,
author = {Trtík, Marek and Strejček, Jan},
address = {Berlin Heidelberg},
booktitle = {Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014},
doi = {http://dx.doi.org/10.1007/978-3-319-11936-6_27},
editor = {Franck Cassez and Jean-Francois Raskin},
keywords = {symbolic execution; symbolic memory},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin Heidelberg},
isbn = {978-3-319-11935-9},
pages = {380-395},
publisher = {Springer},
title = {Symbolic Memory with Pointers},
year = {2014}
}
TY - JOUR
ID - 1205943
AU - Trtík, Marek - Strejček, Jan
PY - 2014
TI - Symbolic Memory with Pointers
PB - Springer
CY - Berlin Heidelberg
SN - 9783319119359
KW - symbolic execution
KW - symbolic memory
N2 - We introduce a segment-offset-plane memory model for symbolic execution that supports symbolic pointers, allocations of memory blocks of symbolic sizes, and multi-writes. We further describe our efficient implementation of the model in a free open-source project Bugst. Experimental results provide empirical evidence that the implemented memory model effectively tackles the variable storage-referencing problem of symbolic execution.
ER -
TRTÍK, Marek and Jan STREJČEK. Symbolic Memory with Pointers. In Franck Cassez and Jean-Francois Raskin. \textit{Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014}. Berlin Heidelberg: Springer, 2014, p.~380-395. ISBN~978-3-319-11935-9. Available from: https://dx.doi.org/10.1007/978-3-319-11936-6\_{}27.
|
