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 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
And with no false positives, developers waste no time in their workflow.