가장 진보되고 정밀한 semantics-based 버그 탐지 툴로 보다 빨리 제품을 출시하고, 코드 이식성(Portability)을 증진하고, 개발과 디버깅에 대한 수고를 절감합니다.


RV-Match 특징

  • 코드 기반이 아닌 실제로 프로그램 실행을 통해 버그를 찾아냅니다.
  • 다른 툴은 찾을 수 없는 버그를 false Alarms 없이 자동으로 찾아냅니다.
  • Unit Test, 빌드 자동화, CI(Continuous Integration)와 연동 가능
  • Standards Compliance와 Assurance를 보장

최첨단 연구와 “complete formal ISO C11 semantics”을 바탕으로 RV-Match는 undefinedness을 포함한 코드 기반의 강력하고 엄격한 분석을 하는 자동화 툴을 만들어 냅니다. false Alarms이 없어 개발자들은 더 이상 시간을 낭비하지 않아도 됩니다.

 


match_overview


RV-Match 탐지 가능 오류

  • ISO C11에서 정의한 200여개에 망라하는 모든 버그를 탐색 가능합니다.
  • 주요 탐지 가능 버그
    • Buffer Overflow & Buffer Underflow
    • Memory leak
    • Global Variable
    • Forward Null
  • 탐지 가능 오류 리스트는 이곳(다운로드)에서 확인이 가능합니다.