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.
|