Map2Check is a tool for automatically generating and checking unit tests for C programs. The generation of unit tests is based on assertions extracted from (memory) safety properties, which are generated by the ESBMC tool. In particular, Map2Check checks for SVCOMP invalid-free, invalid-dereference, and memory-leak properties in C programs.
CITATION STYLE
Rocha, H. O., Barreto, R. S., & Cordeiro, L. C. (2016). Hunting memory bugs in C programs with Map2Check. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9636, pp. 934–937). Springer Verlag. https://doi.org/10.1007/978-3-662-49674-9_64
Mendeley helps you to discover research relevant for your work.