Get to market faster, increase code portability, and save on development and debugging with the most advanced and precise semantics-based bug finding tool.
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
And with no false positives, developers waste no time in their workflow.