Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1423063,
author = {Chalupa, Marek and Strejček, Jan and Vitovská, Martina},
address = {Cham, Švýcarsko},
booktitle = {Model Checking Software. SPIN 2018},
doi = {http://dx.doi.org/10.1007/978-3-319-94111-0_7},
editor = {María-del-Mar Gallardo and Pedro Merino},
keywords = {program analysis; program verification; memory safety},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Cham, Švýcarsko},
isbn = {978-3-319-94110-3},
pages = {115-132},
publisher = {Springer},
title = {Joint Forces for Memory Safety Checking},
year = {2018}
}
TY - JOUR
ID - 1423063
AU - Chalupa, Marek - Strejček, Jan - Vitovská, Martina
PY - 2018
TI - Joint Forces for Memory Safety Checking
PB - Springer
CY - Cham, Švýcarsko
SN - 9783319941103
KW - program analysis
KW - program verification
KW - memory safety
N2 - The paper describes a successful approach to checking computer programs for standard memory handling errors like invalid pointer dereference or memory leaking. The approach is based on four well-known techniques, namely pointer analysis, instrumentation, static program slicing, and symbolic execution. We present a particular very efficient combination of these techniques, which has been implemented in the tool Symbiotic and won by a large margin the MemSafety category of SV-COMP 2018. We explain the approach and provide a detailed analysis of effects of particular components.
ER -
CHALUPA, Marek, Jan STREJČEK and Martina VITOVSKÁ. Joint Forces for Memory Safety Checking. In María-del-Mar Gallardo and Pedro Merino. \textit{Model Checking Software. SPIN 2018}. Cham, Švýcarsko: Springer, 2018, p.~115-132. ISBN~978-3-319-94110-3. Available from: https://dx.doi.org/10.1007/978-3-319-94111-0\_{}7.
|
