새로운 내용

새로운 제품의 기능에 대해 알아보십시오.


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

분석 설정

  • 사용자 인터페이스 통합: Bug Finder 및 Code Prover 분석을 위해 Polyspace 프로젝트 생성 및 관리 방식 단일화
  • 더 쉬운 보안 표준 준수 확인: CWE, CERT C99 또는 ISO/IEC TS 17961 코딩 표준을 선택하여 Polyspace 결과 및 보안 리포트를 통해 관련된 위반 사항 확인
  • 특정 검사 항목들에 대한 증분식 분석: 이전 분석 이후에 변경된 파일만 분석하여 신규 결함 및 코딩 규칙 위반 사항만 빠르게 발견

분석 결과

  • 보안을 위한 결함 검사 기능 확대: 암호화 루틴의 잘못된 사용과 같은 보안 취약 사항 검사
  • MISRA Amendment 지원: MISRA C:2012 Amendment 1에서 새롭게 추가된 보안 지침에 대한 코드 검사

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

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

분석 설정

  • Diab 컴파일러 지원: Wind River사의 Diab 컴파일러로 컴파일한 코드에 대해 Polyspace 분석  설정 용이
  • 멀티태스킹 코드 분석 설정: 주기적 태스크 및 비선점형 인터럽트를 직접 지정할 수 있는 분석 옵션
  • MATLAB의 Polyspace API: MATLAB 객체를 사용하여 Polyspace 설정 및 실행

분석 결과

  • CERT C 지원: 결함 검사 기능 및 코딩 규칙을 사용하여 CERT 위반 사항 식별

결과 검토

  • 데이터 레이스(Data Race) 그래프: 함수 호출 시퀀스를 그래프화하여 데이터 레이스 결함을 쉽게 수정

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

2016a 릴리스의 일부인 Version 2.1에는 다음과 같은 향상된 기능이 포함되어 있습니다.

  • 검토할 파일: 지정한 파일 및 폴더에 대한 결과만 생성합니다.
  • 검토 의견 자동 완성: 부분적으로 의견을 입력하면 이미 완료된 의견 중 선택하여 검토 의견을 자동 완료할 수 있습니다.
  • 더욱 빠른 MISRA 검사 속도 더욱 빠르고 효율적으로 코딩 규칙을 체크합니다.
  • S-Function 분석: Simulink에서 S-Function 코드의 분석을 시작합니다.
  • 필터 상태 유지: 필터를 한 번 적용하면 다음 검사 작업에서도 동일하게 필터링된 결과를 표시합니다.

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

Release 2015aSP1의 일부인 Version 1.3.1 에는 버그 수정이 포함되어 있습니다.

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

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

  • 실시간 검사 결과 확인: 검사 내용을 검사 중에 실시간으로 확인
  • C/C++ 혼합 코드: C/C++ 소스 파일로 혼합되어 구성된 프로젝트를 분석
  • 더 많은 종류의 결함 항목: 보안 취약성, 리소스 관리 문제, 객체 지향 프로그래밍 디자인 문제 관련 결함 탐지
  • 멀티태스킹 프리미티브 자동 인식: POSIX와 VxWorks의 멀티태스킹 프리미티브를 인식하여 수동적인 설정없이 소스 코드 분석
  • Eclipse 플러그인 기능 개선: Eclipse내에서 검사 결과 및 관련 도움말을 바로 확인
  • MISRA C:2012 완벽 지원: 모든 MISRA C:2012 코딩 규칙 위반 사항 탐지
  • 임팩트 기준의 결함 분류 기능: 각 결함 유형별 임팩트에 따라 검토 우선 순위를 정하는 기능 추가

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

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

  • 통합 사용자 인터페이스를 통한 객체 설정 및 결과 검토 워크플로 단순화
  • 사용자 인터페이스에서 코드 복잡도 메트릭 확인 가능
  • 코드 복잡도 메트릭, MISRA-C:2012 및 사용자 코딩 규칙에 대한 상황별 도움말
  • 마지막 실행과 최신 결과를 비교하여 검토

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