@inproceedings{cf4a48c4bee54111802231c1e1f65505,
title = "RV-match: Practical semantics-based program analysis",
abstract = "We present RV-Match, a tool for checking C programs for undefined behavior and other common programmer mistakes. Our tool is extracted from the most complete formal semantics of the C11 language. Previous versions of this tool were used primarily for testing the correctness of the semantics, but we have improved it into a tool for doing practical analysis of real C programs. It beats many similar tools in its ability to catch a broad range of undesirable behaviors. We demonstrate this with comparisons based on a third-party benchmark.",
keywords = "Abstract interpretation, C11, Programming language semantics, Static analysis, Undefined behavior",
author = "Dwight Guth and Chris Hathhorn and Manasvi Saxena and Grigore Ro{\c s}u",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 28th International Conference on Computer Aided Verification, CAV 2016 ; Conference date: 17-07-2016 Through 23-07-2016",
year = "2016",
doi = "10.1007/978-3-319-41528-4\_24",
language = "English (US)",
isbn = "9783319415277",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "447--453",
editor = "Swarat Chaudhuri and Azadeh Farzan",
booktitle = "Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings",
address = "Germany",
}