Abstract
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.
Cite
CITATION STYLE
Chalupa, M., Strejček, J., & Vitovská, M. (2018). Joint forces for memory safety checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10869 LNCS, pp. 115–132). Springer Verlag. https://doi.org/10.1007/978-3-319-94111-0_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
