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

Latest from the RV-Match Blog:

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
Jul 02 2015: Using RV-Predict to track down race conditions by Dwight Guth
May 20 2015: “restrict” keyword in header files by Dwight Guth
Apr 10 2015: Undefined C: Common mistakes by Dwight Guth

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.

Copyright 2017 Runtime Verification Inc.