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