Polyspace를 활용한 C/C++ 코드 검증
Gary Ryu, MathWorks
본 웨비나에서는 정적 분석 도구인 Polyspace를 활용하여 C/C++ 코드를 검증하는 방법에 대해 소개해 드리고자 합니다. 주요 소개 내용은 아래와 같습니다.
- C 및 C++ 임베디드 소프트웨어 검증
- 런타임 오류, 동시성 문제, 보안 취약성 및 여러 종류의 결함을 검출
- 특정 런타임 오류가 없음을 증명
- 코딩 규칙 위반 사항 탐지 및 코드 메트릭 분석
관련한 비디오 및 웨비나 보기
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)