RV-Match

Get to market faster, increase code portability, and save on development and debugging with the most advanced and precise semantics-based bug finding tool.

RV-Match gives you

an automatic debugger for subtle bugs other tools can't find, with no false positives
seamless integration with unit tests, build infrastructure, and continuous integration
a platform for analyzing programs, boosting standards compliance and assurance

Read the Documentation Download RV-Match

Latest from the RV-Match Blog:

Sep 19 2017	RV-Match now supports inline assembly by Dwight Guth
Sep 14 2017	K Framework Seeking Professional Developers by Brandon Moore
Aug 04 2017	Undefined Behavior Review: tis-interpreter vs. RV-Match by Brandon Moore
May 22 2017	Experienced C Developers Can Still Misunderstand Simple Language Concepts by Dwight Guth
Sep 18 2016	14% of SV-COMP’s “Correct Programs” are Undefined! by Grigore Rosu

Based on cutting edge research and a complete formal ISO C11 semantics, RV-Match generates powerful, rigorous, and automatic tools for analyzing your codebase, including undefinedness. And with no false positives, developers waste no time in their workflow.