Polyspace Bug Finder

새로운 기능

R2014b (버전 1.2)

출시 일자: 2014년 10월 2일

2014b의 일부인 Version 1.2에는 다음과 같은 향상된 기능이 포함되어 있습니다.

  • MISRA C:2012 지원
  • 빠른 분석을 위한 병렬 컴파일
  • 추가적인 동시성(concurrency) 관련 결함 체크(교착 상태(deadlocks), 이중 장금(double locks) 등)
  • Mac OS 지원
  • C++11 지원
  • 분석 옵션과 결함에 대한 상황별 도움말

자세한 내용은 Release Notes를 참조하십시오.

이전 버전

R2014a (버전 1.1) - 2014년 3월 6일

2014a의 일부인 Version 1.1에는 다음과 같은 향상된 기능이 포함되어 있습니다.

  • 빌드 시스템에서 프로젝트 자동 설정
  • CWE(Common Weakness Enumeration) 표준에 따른 버그 분류
  • 추가 코딩 규칙 지원(MISRA-C:2004 규칙 18.2, MISRA-C++ 규칙 5-0-11)
  • GNU 4.7 및 Microsoft Visual Studio C++ 2012 다이얼렉트 지원

자세한 내용은 Release Notes를 참조하십시오.