비디오 길이: 35:36

Polyspace를 활용한 C/C++ 코드 검증

본 웨비나에서는 정적 분석 도구인 Polyspace를 활용하여 C/C++ 코드를 검증하는 방법에 대해 소개해 드리고자 합니다. 주요 소개 내용은 아래와 같습니다.

  • C 및 C++ 임베디드 소프트웨어 검증
  • Ÿ런타임 오류, 동시성 문제, 보안 취약성 및 여러 종류의 결함을 검출
  • Ÿ특정 런타임 오류가 없음을 증명
  • 코딩 규칙 위반 사항 탐지 및 코드 메트릭 분석

녹화 날짜: 2016년 8월 12일