Coverity 설명서

Version: latest

고지 사항
Coverity 개요
머리말
정적 분석 솔루션
체커
배포 아키텍쳐
중앙 분석
로컬 및 중앙 분석
복수 테스트 모델의 장점
배포 옵션
Coverity 및 기타 분석 도구에서 나온 결과 합치기
정적 분석 작업
역할과 업무
기본 워크플로
설정
구성
분석
정리, 선별, 및 해결
보고서
정적 분석 사용자 정의 및 확장
사용 사례
웹 어플리케이션 보안
코딩 표준 위반 처리
Coverity를 사용하여 시장에서 제품 차별화
익숙하지 않은 소스 코드의 보안 평가
설치 관련 설명서
설명서 모음
온라인 리소스
설치 및 배포
Coverity 제품 개요
지원되는 플랫폼
설치 및 배포 개요
배포 계획 개요
구현 개요
운영 개요
배포 계획
배포 점검사항
Coverity 제품이 빌드 시스템에 통합되는 방식
Coverity 통합 및 API
명령 행 클라이언트
플러그인 및 기타 통합
API 참조서
Coverity Analysis 배포 모델
중앙 빌드 배포 모델
데스크탑 배포 모델(로컬 분석)
Coverity Connect 배포 옵션
Coverity Connect 독립 실행형 배포
Coverity Connect 클러스터형 배포 모델
Coverity Connect의 권장 최대 한계
기타 배포 모델 및 기능
체크인 전 클린
Jenkins 자동화 빌드와 통합하기
문제 내보내기
Coverity 업그레이드
업그레이드 개요
제품 이름 및 설치 관리자 내용 이해
설치 관리자 및 설명서 다운로드
업그레이드로 변경된 기능이 미치는 영향 이해
성능 설정 조절
Coverity Connect 업그레이드
Coverity Analysis 업그레이드
Coverity 데스크탑 플러그인 업그레이드
Coverity 업그레이드
업그레이드 개요
제품 이름 및 설치 관리자 내용 이해
설치 관리자 및 설명서 다운로드
업그레이드로 변경된 기능이 미치는 영향 이해
성능 설정 조절
Coverity Connect 업그레이드
Coverity Analysis 업그레이드
Coverity 데스크탑 플러그인 업그레이드
Coverity Connect
Coverity Connect 사용 설명서
Coverity Connect 용법
시작하기 Coverity Connect
Coverity Connect 인터페이스
기본 Coverity Connect 워크플로에 대한 이해
개발 워크플로
관리 워크플로
문제 찾기
CID를 기준으로 문제 찾기
보기를 사용하여 문제 찾기
문제 관리
Source Gutter Menu 표시
파일 트리
문제 선별
이벤트 기동식 선별 알림
문제 모니터링
대시보드
보기 수준 도표
Coverity Connect 사용자 참조
보기
문제: 스냅샷 기준
문제: 프로젝트 범위
파일
함수
구성요소
체커
소유자
스냅샷
추이
테스트
보기 관리
설정 편집
사본으로 저장
필터
분류 기준
열
스냅샷 범위
공유
관련 사용자
알림
삭제
CSV로 내보내기
XML로 내보내기
링크 구하기
스냅샷 비교
스냅샷 비교 범위 문법
스냅샷 선택 문법 용법 참고
시간 필터 사용 문법
예
보기별 이메일 알림
이메일 알림 사용 사례
시나리오: 릴리스의 모든 미수정 문제를 반영하는 팀 이메일을 매주 발송
시나리오: 신규 소프트웨어 문제 각각을 파악하기 위한 사용자별 이메일
시나리오: 새로 선별된 문제를 보여주는 단일 사용자에게 이메일 발송
시나리오: 커밋 완료시 알림
보기별 이메일 알림 예약
알림 이메일 수동 발송
선별 특성
Classification
심각도
조치
레거시
수정 목표
소유자
외부 참조
주석
환경설정
Coverity Platform 개요
설치, 제품 라이선스, 지원 플랫폼
로그인
공유된 탐색 및 주 메뉴 도구
도움말 메뉴
키보드 단축키
제품 다운로드
에 대한 고객 피드백 Coverity
Coverity Connect 플랫폼 세부정보
Coverity Connect 문서 세트
Coverity Policy Manager 사용법
Coverity Policy Manager 개요
계층
메트릭
필터
보고서
대시보드
히트맵
정책
요약 메트릭
보기
Coverity Policy Manager 계층 사용
도표 탐색
일반적인 Coverity Policy Manager 동작 조치 수행
Coverity Policy Manager 대시보드 설정
Coverity Policy Manager 히트맵 설정
Coverity Policy Manager 상태 보고서 설정
Coverity Policy Manager 추이 보고서 설정
Coverity Policy Manager 메트릭
메트릭: 사용자 활동
메트릭: 분석
메트릭: 코드
요약 메트릭: 기술적 부채
Coverity Policy Manager 필터 및 분할 속성
Coverity Connect 관리
Coverity Connect 서버 구성 및 관리
Coverity Analysis 업데이트 구성
저장 용량 및 관리
개발자 워크플로
외부 네트워크 액세스
전역 소유자 할당 규칙 구성
Jira와의 통합
요구사항
Jira 내보내기 구성
JIRA 서버 구성
프로젝트 매핑
프로젝트 매핑 추가
Jira Cloud 사용 시 보고자 지정하기
상수 정적 필드에 템플릿 사용
JIRA 이외의 기타 버그 추적 시스템과의 통합
요구사항
Bugzilla 서버 구성
Coverity Connect Bugzilla로 프로젝트 매핑 구성
프로젝트 매핑 유지보수 또는 교체
변수 대체
예: Coverity 필드를 Bugzilla 필드로 매핑
SSL을 사용하여 Bugzilla 인스턴스 연결
사용자 정의 체커 설명 구성
사용자 정의 문제 범주 구성
문제 범주화 맵 JSON 형식
로그인 설정 구성
로컬 비밀번호 정책 구성
소프트 락아웃 정책 구성
TLS/SSL 관련 Coverity Connect 구성
만료된 TLS/SSL 인증서 업데이트 Coverity Connect
TLS/SSL 인증서 업데이트를 시작하기 전에: 준비 및 필수 개념
TLS/SSL 인증 업데이트 시나리오
시나리오 1. 인증서 갱신: 기존 키 저장소 및 개인 키 재사용
시나리오 2. 키 저장소 교체
시나리오 3. 기존 키 저장소 없음
Coverity Connect 재시작 및 새 인증서 확인
TLS/SSL 업데이트: 추가 팁, 경고 및 정보
암호화 사용 사례 커밋
암호화 처리 업데이트 Coverity Connect
Sign-on methods는 Coverity Connect
LDAP 서버와의 통합
LDAP 서버 요구사항
LDAP 데이터에 대한 읽기 전용 액세스
LDAP 서버 유형
LDAP 서버 구성 개요
LDAP 서버 설정 구성
LDAP 보안
LDAP 서버 구성 설정 업그레이드
중지 및 시작 Coverity Connect
LDAP 디버깅 도구
Kerberos를 사용하도록 Coverity Connect 구성하기
Kerberos 개요
주요 개념
설정
브라우저 구성
Kerberos 인증 문제 해결
SAML을 사용하도록 Coverity Connect 구성하기
SAML SSO를 통해 로그인하기
SAML SSO 로그아웃
SAML SSO 구성 추가
SAML SSO 구성 매개변수
SAML SSO 구성 생성하기
SAML SSO 구성과 개별 Coverity Connect 사용자 연결
SAML SSO 구성 삭제하기
SAML SSO를 사용한 자동 완성 사용자 정보 지원
역방향 프록시 서버 추가 및 구성
Apache HTTP 서버를 사용한 설정
역방향 프록시 인증 추가
Coverity Connect 라이선스 정보
Analysis 라이선스 파일
이메일 알림 및 전송 구성
구성요소 예약 알림 설정
알림 이메일에 포함되는 최대 결함 수 설정
이메일 알림 URL 변경
Coverity Connect에 SSL 기반 메일 서버 구성
보기별 알림 이메일을 보내도록 기본 이메일 구성
로그 구성
Coverity Connect 로그 파일
고급 사용 현황 로그 기록
규정 및 규정준수 데이터(UDC) 수집 및 전송
사용 및 규정준수 데이터 관리
사용 및 규정 준수 데이터 수집 비활성화
URL 또는 결함 내보내기 핸들러로 문제 내보내기
사용자 정의 결함 핸들러의 제한 시간 늘리기
Coverity Connect 인터페이스에서 프로젝트 대시보드 비활성화
커밋 옵션 지정
시스템 진단
시스템 진단 개요
사용자 정의 데이터베이스 쿼리
확보 Coverity Connect
Health Check
Secure Code Warrior 활성화
사용자 정의 배너 구성
스캔 투명도 데이터 컬렉션 활성화
데이터베이스 구성 및 관리
주의사항
데이터베이스 크기 유지
데이터베이스 최적화
데이터베이스 상호 참조 중복 삭제
스냅샷 상세정보 청소
스냅샷 상세 정보 청소 구성
업그레이드 관련 주의사항
내장 데이터베이스 백업
내장 데이터베이스 백업에 대한 중요 참고 사항
Coverity Connect UI를 사용하여 내장 데이터베이스 백업
명령 행을 사용하여 내장 데이터베이스를 백업
내장 데이터베이스 복원
클라이언트 측 TLS/SSL 인증서 관리
SSL 개요
TLS/SSL 주요 개념
서버 인증서 사용 사례
인증서 관리 개선
자체 서명 인증서 및 신뢰 우선 TLS/SSL
Coverity 신뢰 저장소 유형
CA 인증서 전파 절차
CA의 인증서 구하기
WebSocket 연결 테스트
문맥 경로를 사용하도록 Coverity Connect 설정
사용자, 그룹, 역할 관리
사용자 관리
로컬 또는 LDAP 사용자 설정
로컬 또는 LDAP 사용자 편집
그룹에 사용자 할당
사용자 역할 관리
사용자 계정 잠금 및 해제
임시적으로 잠근 모든 사용자 계정 해제
사용자 계정 해제
사용자 삭제
사용자 가져오기
데이터 수집 범위 제한
인증 키를 사용하여 작업하기
키 생성
키 사용
키 보기 및 해지
인증 키 사용 사례
그룹 관리
기본 제공 그룹
그룹 설정
그룹에 하나 이상의 사용자 할당
그룹 역할 관리
그룹 편집
LDAP 그룹 가져오기
그룹 삭제
역할 및 역할 기반 액세스 제어
주요 개념
Coverity Connect 권한
Coverity Connect roles
Coverity Connect가 역할을 적용하는 방식 이해하기
동기화된 Coverity Connect 클러스터에서 RBAC 역할 할당
일차 프로젝트 및 스트림 링크
RBAC 사용 사례
시나리오: 동기화된 Coverity Connect 기업용 클러스터에서 선별 권한 부여
시나리오: 프로젝트 관리 위임
시나리오: 프로젝트 및 스트림 관리를 위한 액세스 제한
시나리오: 일차 프로젝트를 통해 역할 관리
시나리오: 스트림 생성을 위한 액세스 권한 부여
시나리오: Coverity Desktop 사용자에 대한 프로젝트 액세스 제한
시나리오: 역할의 권한 올리기
액세스 제어에 관한 지침
구성요소 맵에 대한 역할 기반 액세스 제어 활성화
소프트웨어 문제에 관한 데이터 관리
프로젝트 및 스트림 작업
프로젝트 및 스트림 구성 계획
프로젝트와 스트림 생성, 복사, 삭제
프로젝트 설정
스트림 설정
하나의 스트림과 복수 프로젝트 연결
프로젝트와 스트림 복사, 삭제
스트림 내보내기 및 가져오기
프로젝트별 또는 스트림별로 역할 할당
스트림에 대한 문제 범주화 맵 선택
분석 라이선스와 프로젝트 연결
검색 필터를 사용하여 프로젝트 및 스트림 찾기
프로젝트 및 스트림 편집
스트림과 프로젝트 연결
프로젝트 수준에서 일일 추이 기록 관리
만료된 스트림 자동 삭제를 위한 스트림 지정
스트림 스냅샷 관리
스냅샷 데이터 보기
스냅샷 삭제
스트림에 자동 문제 소유권 설정
스트림에 대한 Desktop Analysis 옵션 설정
선별 특성 구성
사용자 정의 선별 특성 만들기
사용자 정의 특성 한계
선별 특성 복사
선별 특성 편집
구성요소 사용
구성요소 구성
구성요소 맵 가져오기 및 내보내기
내보낸 구성요소 맵 JSON 요소
사용자 시나리오: 구성요소
시스템 개요
시나리오: 구성요소 구성
시나리오: 사용자 작업 흐름
구성요소 맵에 역할 할당
선별 저장소 관리
시나리오: 코드 분기 전체에서 선별 데이터 공유(권장)
시나리오: 코드 분기별로 선별 데이터 분리
시나리오: 선별 데이터를 제품별 프로젝트로 분리
버전 6.0 또는 6.0.1에서 업그레이드한 후 선별 저장소 구성
내보낸 선별 저장소 JSON 요소
기존 문제 구성
신규 문제를 모두 기존 상태로 설정하기
Coverity Analysis 업그레이드 후 기존 문제 생성
에서 레거시 문제 작업 Coverity Connect
자동 소유자 할당 구성
자동 소유자 할당 프로세스 개요
전역 SCM 규칙 및 SCM 사용자 맵 설정
SCM 도출 규칙
SCM을 Coverity Connect 사용자 맵 파일로 구성
스트림 수준 규칙 설정
사용자 정의 코딩 표준
사용자 정의 코딩 표준 추가
새 사용자 정의 코딩 표준 업로드
코딩 표준 파일 다운로딩
템플릿 파일 다운로드
사용자 정의 코딩 표준 업데이트
사용자 정의 코딩 표준 이름 바꾸기
표준 숨기기 또는 복구하기
사용자 정의 코딩 표준 삭제
Coverity Connect 엔터프라이즈 클러스터 구성
복수 Coverity Connect 인스턴스 동기화
클러스터 전반의 데이터 동기화
클러스터 전반의 데이터 동기화 구성
Coordinator 및 Subscriber 식별
SSL 인증서 및 TrustStores 설정
클러스터 전체에서 Coverity Policy Manager 데이터 동기화
복수 데이터베이스 인스턴스 관리
클러스터에서 데이터베이스 백업 작업 흐름
클러스터에서 데이터베이스 복원 작업 흐름
Code Sight를 지원하도록 서버 구성하기
Black Duck Code Sight 플러그인용 서버 관리
Code Sight 고객을 지원하도록 Coverity Connect 서버 구성하기
Desktop Analysis를 위한 서버 관리
스트림 설정
분석 요약 생성
요약 보존기한
Desktop Analysis 사용 추적
분석 라이선스 서비스
Coverity Connect URL 구성
내보낸 결함 출력
내보낸 결함 URL 변수
내보낸 결함 XML 요소
내보낸 결함 XML 파일
새 사용자에 대한 기본 제공 보기 억제
날짜 형식 표시 변경 Coverity Connect
다음을 통해 Coverity Desktop 구성 Coverity Connect
다운로드 페이지를 통한 Coverity Desktop 및 공유 파일 구성
Coverity Connect 다운로드 페이지 구성
Coverity Analysis를 다운로드 페이지에 추가
Coverity Desktop 업데이트 추가
사용자 정의 파일 추가 및 제거
Coverity Policy Manager 관리
Coverity Policy Manager 계층 관리
계층 계획
계층 구성
계층 생성하기
계층 편집
Coverity Policy Manager 계층 가져오기/내보내기
Extract Transform Load(ETL) 프로세스 예약
ETL 데이터 자르기
요약 메트릭 생성
Coverity Policy Manager 역할 및 권한
설치 및 업그레이드
Coverity Connect 네트워크 연결 요건
Coverity Connect 하드웨어
데이터베이스 크기 지침
Coverity Platform 구성요소 설치
Black Duck 리포지토리에서 Coverity Platform 인스톨러 다운로드
설치 중 Coverity Connect
Coverity Platform 인스톨러 모드
인스톨러 모드 선택
Coverity Platform 그래픽 인스톨러
Coverity Platform 조용한 인스톨러
고급 설치 옵션
Coverity Connect에 외장 PostgreSQL 데이터베이스 사용
cim.properties 파일의 데이터베이스 정보 이해하기
데이터베이스 풀에 허용된 활성 연결 수 제한 변경하기
config/system.properties에서 추가 RAM의 JVM 활용 최적화 구성
동시 커밋 수 변경
동시 커밋 요구사항
설치 후 참고사항
중요한 권장사항
Coverity Connect 라이선스 정보 얻기
여러 Coverity Connect 라이선스 설치
Coverity Connect 중지 및 시작
Coverity Connect 소유자 변경
Coverity Reports 설치
Coverity Reports 인스톨러 모드
인스톨러 모드 선택
Coverity Reports 조용한 인스톨러
Coverity Connect 시스템 튜닝, 유지 관리, 모니터링
설치 후: 다음 작업
cov-analysis 구성 및 설정
cov-platform 시스템 구성 및 설정
Coverity 성숙도 모델 배포
Coverity Connect 시스템 및 데이터베이스 튜닝
PostgreSQL 데이터베이스 튜닝 - 내장 데이터베이스
데이터베이스 구성 파일 수정
Windows 제한
데이터베이스 유지 관리 및 백업
JVM 설정
필요한 JVM 설정
선택적 JVM 설정
Coverity Connect 성능 모니터링 및 진단
Linux 모니터링 및 진단 도구
성능 문제 진단
입출력 문제 진단
Windows 모니터링 및 진단 도구
성능 모니터를 사용하여 Coverity Connect 문제 진단
시스템 성능 참조
빌드
분석
커밋
Coverity Connect 애플리케이션 메트릭을 오픈 소스 데이터 수집 및 모니터링 소프트웨어에서 표시
메트릭을 사용할 수 있게 설정
메트릭에 대한 로깅 활성화
메트릭 표시 설정
Coverity Connect 애플리케이션 메트릭
Connect UI 시스템 합계 목록
Coverity Connect 업그레이드
내장 데이터베이스를 사용하는 인스턴스 업그레이드
업그레이드 유형 선택
업그레이드 실행: 독립형 배포판
독립 실행형 배포판에 대한 업그레이드 필수 구성요소
현재 위치 업그레이드 수행(독립형 인스턴스)
백업 후 복원 업그레이드 수행(독립형 인스턴스)
컴퓨터 간 업그레이드 수행(독립형 인스턴스)
업그레이드 실행: 클러스터형 배포판
클러스터형 배포판 관련 주의 사항
클러스터형 배포판에 대한 업그레이드 필수 구성요소
현재 위치 업그레이드 수행(클러스터형 인스턴스)
백업 후 복원 업그레이드 수행(클러스터형 인스턴스)
컴퓨터 간 업그레이드 수행(클러스터형 인스턴스)
외부 데이터베이스를 사용하는 인스턴스 업그레이드
외부 데이터베이스를 사용하는 인스턴스를 현재 위치에서 업그레이드
외부 데이터베이스를 사용하는 인스턴스에 대해 백업 및 복원으로 업그레이드
Coverity Connect 업그레이드 환경 변수 매개변수
Coverity Desktop 업그레이드
Eclipse 및 Wind River용 Coverity Desktop 업그레이드
Coverity Desktop for Visual Studio 업그레이드
Coverity Desktop for IntelliJ 및 Android Studio 업그레이드 업그레이드
백업 및 복원 또는 컴퓨터 간 업그레이드에서 이전 Coverity Connect 버전으로 돌아가기
Coverity 제품 구성요소: 지원되는 버전 및 호환성
Coverity Connect 및 Coverity Reports에 지원되는 플랫폼
Coverity Analysis
Coverity Analysis 개요
Coverity Analysis 시작하기
역할과 업무
사용 사례
사용 가능한 캡처 모델
Coverity 스캔 실행을 위한 보안 고려사항
Coverity 클라우드 배포에서 분석 수행
클라우드의 쿠버네티스 클러스터 내 분석 소개
Thin Client 언어 지원
클라이언트 소프트웨어 설치
클라이언트 시스템에 Coverity Thin Client 설치
클라이언트 시스템에 전체 Coverity Analysis 클라이언트 설치
Black Duck Bridge CLI를 사용하여 Thin Client 분석을 파이프라인에 통합
프로젝트 및 스트림 생성
분석 수행: 클라우드 내에서와 온프레미스 비교
Coverity 구성 파일 생성
클라우드에서 분석하기 위한 TLS 및 인증서 설정
클러스터로 클라이언트 인증 구성
분석 위치:
비동기 또는 동기 분석 지정
워크플로 스캔하기
스캔 시작하기
쿠버네티스의 Scan Service 캐시 정보
캐시 키
Full Client에서 Scan Service 분석 시작 준비
클라우드에서 수행되는 분석 상태 관리 및 보기
스캔 목록 보기 열기
스캔 목록 보기
스캔 취소
로그 및 보고서 다운로드
공지사항
Coverity 체커를 사용한 Analysis
Black Duck Bridge CLI를 사용하여 전체 Coverity Analysis를 파이프라인에 통합
분석 생성 단계
필수 구성 요소
구성
캡처
빌드 캡처(컴파일된 언어용)
. NET 빌드 캡처
분석
커밋
문제 보기
소스 코드 대화형 분석
Coverity Analysis 다음 단계 자세한 정보
구성: 'cov-configure’ 호출
캡처: 언어별 빌드 옵션
캡처: 예
캡처: 빌드 캡처에 대한 추가 참고사항
분석: 특수한 경우
분석: 분석 요약 보고서
Coverity 분석을 지원하는 작업
체커 활성화 또는 비활성화
분석 결과를 개선하기 위해 사용자 정의 모델 사용하기
소스 코드가 없는 함수나 메서드를 모방하는 모델 사용하기
프로시저간 분석을 튜닝하기 위해 모델 사용하기
분석에 Coverity Analysis 구성 파일 사용하기
다른 구성 파일 이름 및 디렉토리 사용
구성 파일에 명령 행 옵션 지정하기
<cim> 태그를 사용하여 커밋 옵션 지정하기
<prevent> 태그를 사용하여 디렉토리 및 내보내기 옵션 지정
컴파일러 구성 변경
웹 어플리케이션 보안 분석 실행
Java 웹 어플리케이션에 대한 보안 분석 실행
웹 애플리케이션 아카이브 또는 디렉토리 emit하기(빌드 캡처만 해당)
ASP.NET 웹 어플리케이션에 대한 보안 분석 실행
ASP.NET Core(2.0 이상) 웹 어플리케이션 캡쳐
ASP.NET(4.0 이하) 웹 어플리케이션 캡쳐
모바일 어플리케이션 보안 분석 실행
Android 모바일 어플리케이션에 대한 보안 분석 실행
Java Android 어플리케이션
Kotlin Android 어플리케이션
Java 및 Kotlin 혼합 Android 어플리케이션
작성된 iOS 모바일 어플리케이션에 대한 보안 분석 실행(Swift)
작성된 Android 또는 iOS 모바일 애플리케이션(Dart)에 대한 보안 분석 실행
코딩 표준 분석 실행
코딩-표준 분석 지침
실행 Fortran Syntax Analysis
고급 분석 기법 사용
증분, 병렬, 데스크탑 분석
증분 분석
병렬 분석
데스크탑 분석
CI/CD 파이프라인의 일부로서 분석 실행
분석 구성에 대한 환경 변수
'cov-analyze' 옵션을 사용한 분석 조정
'cov-build' 없이 분석 실행하기
'cov-make-library' 명령 사용
분석하고 호출할 함수 결정
모델링을 개선하기 위해 매크로 확장 억제하기
함수의 프로토타입 추가
C 및 C++ 소스 코드에 대해 도출된 모델을 사용하는 분석 실행
컴파일러 구성 Coverity Analysis
템플릿 구성 생성
전체 구성 생성
'ccache' 또는 'distcc’ 사용
컴파일러별 구성
Clang 컴파일러
지원되는 언어 확장자
지원되는 Clang 컴파일러 컴플라이언스 표준
Clang 제한사항
CEVA 컴파일러
Embarcadero C++ 컴파일러
Freescale Codewarrior 컴파일러
GNU 컴파일러
Green Hills 컴파일러
HighTec 컴파일러
Intel oneAPI 컴파일러
Keil 컴파일러
Microchip 컴파일러
Microsoft Visual C 및 C++ 컴파일러
PICC 컴파일러
QNX 컴파일러
Qualcomm Kalimba C 컴파일러
Renesas 컴파일러
STMicroelectronics 컴파일러
Sun(Oracle) 컴파일러
Synopsys MetaWare 컴파일러
Tensilica Xtensa C 및 C++ 컴파일러
Texas Instruments C 및 C++ 컴파일러
Trimedia C 및 C++ 컴파일러
Coverity Analysis 고유 컴파일에 미리 정의된 매크로 사용하기
호환성을 개선하기 위해 전처리기 동작 수정하기
Coverity 언어 지원
프로덕션 환경에 대한 Coverity Analysis 설정하기
중앙 배포 모델
Coverity Analysis 배포 고려사항
민감한 데이터가 로컬 컴퓨터에서 존속할 수 있음
Coverity Analysis를 빌드 시스템에 통합하기
중간 디렉토리
빌드 환경에 Coverity Analysis 통합—'cov-build'
'cov-build’ 출력: 'build-log.txt' 로그 파일
ASCII 이외의 소스 코드 빌드
구문 분석 경고, 구문 분석 오류, 빌드 실패 검출
구문 분석 오류 보기
소스 파일 전처리
우선 전처리하여 빌드
가설 검증
빌드를 재실행하지 않고 실패한 컴파일 재실행하기
링크 정보 가져오기
기록/재생: 지연된 빌드와 단일 프로세스 빌드 병렬화
'cov-build'를 '--record-only'와 함께 실행하기
'cov-build'를 '--record-with-source'와 함께 실행하기
명령을 사용하여 오류 처리하기
빌드 문제해결
플랫폼별 'cov-build' 문제
Linux
Solaris
Windows
FreeBSD
AIX
대안적 빌드 명령 'cov-translate'
네이티브 컴파일러 대신 'cov-translate' 명령
병렬 빌드 실행
단일 컴퓨터에서 단일 빌드
단일 컴퓨터에서 복수의 빌드
여러 컴퓨터에서 복수의 빌드
NFS 파티션에서 공통 중간 디렉토리 공유하기
로컬 디스크에서 중간 디렉토리 복사하기
TLS/SSL 사용 Coverity Analysis
TrustStore 개요
TLS/SSL 인증서에 대한 보안 고려 사항
TLS/SSL을 사용하도록 Coverity Analysis 구성하기
TrustStore로 작업하기
최초 신뢰 인증서 보기
인증 기관 인증서 보기
인증서 파일 해석하기
ca-certs.pem에 인증서 추가
트러스트 스토어에서 최초 신뢰 인증서 제거
ca-certs.pem에서 인증서 삭제하기
원격 작업자 작업을 사용한 리소스 제약 조건 관리
원격 작업자 SSH 구성 필드
NFS(네트워크 파일 시스템) 사용 Coverity Analysis
Coverity Analysis 업데이트
특정 빌드 시스템 캡처
Xcode를 사용하여 빌드
사전 컴파일된 헤더를 사용하는 Xcode 프로젝트 빌드
Xcode 11에 대해 Apple 모던 빌드 시스템을 사용하는 프로젝트 빌드
Xcode 10을 사용하는 프로젝트 빌드
Visual Studio 또는 .NET SDK(‘dotnet’)를 사용하여 빌드하기
Cygwin을 사용하여 빌드하기
SCM 데이터 통합
테스트 적용률 데이터 가져오기/추출용 유틸리티 사용하기
디렉토리 계층 내에서 파일 추가
기본 워크플로
이전 SCM 프로세스를 활용하기 위해 파일 캐시하기
SCM 개정 형식
SCM 데이터가 없는 파일
Bazel을 사용하여 빌드
요구 사항 및 제한 사항
빌드 캡처 활성화
설치 Coverity Analysis
컴파일러 구성
빌드 수행
맞춤화: 컴파일 니모닉
Sigma 체커를 사용한 Analysis
Rapid Scan Static(Sigma)에서 분석 결과 가져오기
Sigma 업그레이드
Compiler Integration Toolkit (CIT) 사용
컴파일러 통합 개요
시작에 앞서
기본 요구사항
Coverity Analysis 빌드 시스템
'cov-configure' 명령
'cov-translate' 명령
'cov-preprocess' 명령
'cov-test-configuration' 명령
컴파일러 구성 이해하기
'coverity_config.xml'의 <compiler> 태그
'coverity_config.xml'의 <options> 태그
네이티브 전처리를 위한 태그
컴파일을 생략하기 위한 태그들
번역에 영향을 미치는 태그들
네이티브 명령 행을 Coverity 컴파일러로 변환하는 태그
명령 행 변환 단계들을 위한 태그들
'cov-build'에서 내부적으로 정보를 전달하는 태그
응답 파일을 처리하는 태그
응답 파일의 주석 처리된 행을 처리하는 태그들
어떤 그룹에 옵션을 적용할지를 지시하는 태그
Coverity 구성 파일 편집—'coverity_config.xml'
Compiler Integration Toolkit (CIT) 사용
Compiler Integration Toolkit (CIT) 구성 파일
<cit_version> 태그
<compiler> 및 <variant> 태그
Compiler Integration Toolkit(CIT)에 고유한 <options> 태그
네이티브 컴파일러와 탐색을 호출하는 태그
<config_generic_info> 태그
테스트 태그들
추가적인 구성 태그들
컴파일러 스위치 파일
컴파일러 호환성 헤더 파일
사용자 정의 번역 코드
새 컴파일러에 대한 Compiler Integration Toolkit(CIT) 구성 만들기
기존 Compiler Integration Toolkit(CIT) 구현체에서 컴파일러 생성하기
도출된 컴파일러의 구성 형식
도출된 스위치 파일과 호환성 헤더 파일
빌드 통합 문제해결
빌드 로그가 생성되지 않는 이유는?
헤더 파일 오류: expected an identifier가 나타납니다.
헤더 파일 오류: expected a ';'가 나타납니다.
표준 헤더 파일이 발견되지 않는 이유는?
다음 메시지가 발생합니다: #error 아키텍처가 정의되지 않았습니다.
Third Party Integration Toolkit 사용
타사 통합 툴킷 개요
Third Party Integration Toolkit 사용
가져오기 파일 형식 및 참고 자료
가져오기 파일 형식 예
가져오기 파일 참조
용량 및 성능
Coverity Analysis 문제해결
Windows 시스템
모든 운영 체제
'cov-build' 호출하여 Cygwin 사용
타사 라이선스 찾기
호환되지 않는 #import 특성
안전 매뉴얼
안전 관련 소프트웨어 개발 소개
타사 소프트웨어
실패 모드
Coverity Security Dynamic Analysis
Coverity Template Dynamic Analysis
Coverity Analysis 엔진
Coverity Connect 및 Coverity Desktop
포함된 사이버안보
적용되는 표준 및 범위
도구 오류 검출
표준 준수
설명서 및 지원
Coverity Fortran Syntax Analysis User Guide
Introduction to Coverity Fortran Syntax Analysis
What does Coverity Fortran Syntax Analysis do?
Why Use Coverity Fortran Syntax Analysis?
Application Areas
This manual
Tutorial
Basic Operation
Analyzing a single source file
Enabling Warning and Information Messages
Producing a source listing with cross-references
Analyzing more than one source file
Analyzing all source files in one or more directories
The program analysis
The reference structure or call tree
The module dependency tree
Using library files
Using modules
Using third-party libraries
Portability and conformance to standards
Standard conformance
Compiler emulation
Setting your own, or company standard
Cross-platform development
Using include files
Multi-platform development
Operation
Using Coverity Fortran Syntax Analysis
Specifying a list file
Specifying a library file
Options
Configuration selection options
Other control options
Program-unit analysis
Global program analysis
Output
Library
Miscellaneous
Defaults
The usage of analysis options
Exit status
The usage of include files
Coverity Fortran Syntax Analysis library files
The usage of modules
Maintaining library files
Maintaining library files in command mode
Examples
The usage of language extensions
Compiler emulation and include files
Generating Fortran 90 interfaces
Operation of interf from the commandline
Storing the Reference structure and dependency of modules
Messages
Operational messages
Analysis messages
System messages
Redefinition and suppression of messages
Temporary suppression of messages
Reporting messages
Tuning the output
Line or statement numbering
Date and time format
Analysis
Program unit analysis
Interpretation of source code records
Lay-out of source code listing
Syntax analysis
Type verification
Local verification of argument lists
Verification of procedure entries
Intrinsic procedures
Function procedure
Program-unit cross references
Reference structure (Call tree)
Analysis of the reference structure
Display of the reference structure
Display of sub trees of the reference structure
Reference structure in XML format
Display of module dependencies
Display of dependencies for specific modules
Display of module dependencies in XML format
Global program analysis
Verification of procedure references
Verification of argument lists
Verification of common blocks
Verification of modules
Global program cross references
Cross references of common-block objects
Cross references of public module derived types
Cross references of public module data
Specification of procedure interfaces
Using FORTRAN 77 syntax
Using Fortran 90 syntax
Using Coverity Fortran Syntax Analysis attributes
Metrics
Final report
Supported Fortran syntax
Compilers supported
General language extensions supported
Absoft Fortran 77 extensions
Apollo/Domain Fortran extensions
Compaq Fortran extensions
Convex Fortran extensions
Cray Fortran 77 extensions
Cyber NOS/VE Fortran extensions
DEC PDP-11 Fortran-77 extensions
DEC FORTRAN and VAX Fortran extensions
Digital Research Fortran-77 extensions
F2c Fortran 77 extensions
GNU Fortran 77 extensions
HP-UX FORTRAN/9000 and HP Fortran 77 extensions
IBM AIX XL FORTRAN extensions
IBM VS Fortran V2 extensions
Intel Fortran extensions
Lahey F77L Fortran-77 extensions
Microsoft Fortran extensions
NDP Fortran extensions
Oracle Fortran extensions
Prime Fortran-77 extensions
Salford Fortran extensions
Silicon Graphics MIPSpro Fortran 77 extensions
Sun Fortran 77 extensions
Unisys 1100 Fortran-77 extensions
Watcom Fortran 77 extensions
The configuration file
EXTENSIONS
INTRINSICS
OCI (OPEN/CLOSE/INQUIRE) specifiers
MESSAGES
OUTPUT
VARIOUS
Fortran 77 language extensions table
Fortran 90/95/2003/2008/2015 language extensions table
Limitations
Configuration determined limits
History of changes
Message summary
References
Fortran Glossary
Coverity 규정 준수 가이드
이 가이드에 관한 정보
Coverity 규정 준수 필터링 개요
결과 소개
작업 흐름
규정 준수 필터링 요구 사항
지원되는 코딩 표준
문제 생성 조절하기
우선순위 필터/검출 보고서
코드 분석 실행
검출 보고서 생성
검출 보고서 분석
필터링 정책 생성
테스트 검출 보고서 생성
우선순위 필터 업로드
우선순위 필터 업데이트 또는 삭제
점수를 사용하여 개발 작업의 우선순위 정하기
점수 열 추가
점수별로 필터링하기
구성 및 생성 Coverity 보고서
코딩 표준 및 규정 준수 보고서
편차 이해
보고서의 편차
구성 보고서 생성기
구성 개요
지원되는 버전의 보고서 형식
일반 고려사항
표준 스키마 요소
연결 스키마 요소
문제 구분 기준 스키마 요소
로캘 스키마 요소
프로젝트 스키마 요소
스냅샷 스키마 요소
보고-필터링 요소
제목 페이지 스키마 요소
스키마 버전 요소
특정 보고서에 대한 스키마 요소
CERT Report
Coverity Integrity Report
Security Report
Black Duck Software Integrity 보고서
DISA ASD STIG Report
통합 구성 파일
Coverity CERT Report
개요
Report Generator 사용
Report Generator 설치
Coverity Connect로의 연결
BDSIR 보고서 생성
CERT 보고서 구성 파일
시스템 환경 변수 사용
이전에 구성한 보고서 생성
CERT Report 해석
Coverity CVSS Report
CVSS 소개
점수표 요소
선별 특성
CVSS Report 프로파일
Report Generator 설치
Coverity CVSS Report Generator 사용하기
BDSIR 보고서 생성
CVSS 보고서 구성 파일
시스템 환경 변수 사용
CVSS Report 입력 파일
보고서 현지화
Coverity DISA ASD STIG Report
개요
보고서 생성기 사용
Report Generator 설치
DISA ASD STIG 보고서 구성 파일
BDSIR 보고서 생성
DISA ASD STIG 보고서 해석
Coverity 현대 보고서
개요
보고서 생성기 사용
Report Generator 설치
현대 보고서 구성 파일
BDSIR 보고서 생성
시스템 환경 변수 사용
현대 보고서 해석
Coverity Integrity Report
개요
결함 평가
권장 분석 구성
요구사항
보고서 생성기 사용
Report Generator 설치
Coverity Integrity Report 구성 파일
BDSIR 보고서 생성
보고서 현지화
Coverity MISRA Report
MISRA Report 개요
MISRA 준수
Report Generator 사용
Report Generator 설치
Coverity Connect로의 연결
BDSIR 보고서 생성
MISRA 범주 기반 사용자 정의 표준을 사용하는 보고서 만들기
MISRA 보고서 구성 파일
시스템 환경 변수 사용
이전에 구성한 보고서 생성
보고서 현지화
Coverity OWASP Web Top 10 Report
개요
보고서 생성기 사용
Report Generator 설치
OWASP Web Top 10 보고서 구성 파일
BDSIR 보고서 생성
OWASP Web Top 10 Report 해석
Coverity Mobile OWASP Top 10 Report
개요
보고서 생성기 사용
Report Generator 설치
Mobile OWASP Top 10 보고서 구성 파일
BDSIR 보고서 생성
Mobile OWASP Top 10 Report 해석
Coverity PCI DSS Report
개요
보고서 생성기 사용
Report Generator 설치
PCI DSS 보고서 구성 파일
BDSIR 보고서 생성
PCI DSS Report 해석
Coverity Security Report
Security Report 개요
Report Generator 사용
Report Generator 설치
Coverity Connect로의 연결
BDSIR 보고서 생성
GUI 구성
보안 보고서 구성 파일
이전에 구성한 보고서 생성
Security Report 해석
심각도 매핑 기술적 결함을 심각도로 매핑
사용자 정의 심각도 매핑 만들기
보안 점수, 심각도 매핑, 보증 수준
점수표 이해하기
Security Report 사용자 정의
보고서 현지화
시스템 환경 변수 사용
Black Duck Software Integrity 보고서
개요
Report Generator 설치
설치 및 구성
Black Duck Software Integrity 보고서 생성기 설정
Black Duck Software Integrity 보고서 구성
Black Duck Software Integrity 보고서 구성 파일
시스템 환경 변수 사용
GUI를 통해 보고서 생성
명령 행을 통해 보고서 생성
PDF 보고서 개요
상세 결과
Analysis 명령
Coverity Analysis 명령
cov-analyze
개요
설명
옵션: 공격성 수준
옵션: 분석
옵션: Apex 체커
옵션: 보안 감사
옵션: Brakeman 체커
옵션: C, C++, Objective-C, Objective-C++
옵션: C#
옵션: 체커
옵션: 부합성 체커
옵션: 사용자 정의 체커 및 CodeXM
옵션: Extend SDK
옵션: Java
옵션: Java 분석
옵션: JavaScript, TypeScript
옵션: Java SpotBugs
옵션: Kotlin detekt
옵션: 메트릭
옵션: 모델
옵션: 공통
옵션: Sigma
옵션: 웹 및 모바일 어플리케이션 보안
종료 코드
예
참고
cov-blame
개요
설명
옵션
종료 코드
참고
cov-build
개요
설명
C, C++, C# 및 Visual Basic 빌드 캡처
Go 빌드 캡처
Java 및 Kotlin 빌드 캡처
빌드 캡처 예
Java 및 .NET 소스용 Security Dynamic Analysis
옵션
종료 코드
참고
cov-collect-models
개요
설명
옵션
종료 코드
참고
cov-commit-defects
개요
설명
포워드 프록시 사용하기
옵션
종료 코드
예
cov-configure
개요
설명
언어별 구성
옵션
종료 코드
참고
cov-count-lines
개요
설명
옵션
종료 코드
예
cov-emit
개요
설명
옵션
종료 코드
참고
cov-emit-cs
개요
설명
옵션
종료 코드
cov-emit-go
개요
설명
옵션
종료 코드
cov-emit-java
개요
설명
옵션
종료 코드
예
참고
cov-emit-vb
개요
설명
옵션
종료 코드
cov-extract-scm
개요
설명
옵션
종료 코드
참고
cov-find-function
개요
설명
옵션
종료 코드
예
cov-format-errors
개요
설명
정규식
옵션
종료 코드
cov-format-sarif-for-github.js
개요
설명
옵션
예
cov-generate-hostid
개요
설명
옵션
종료 코드
예
cov-help
개요
설명
환경 변수
종료 코드
cov-import-msvsca
개요
설명
옵션
종료 코드
참고
cov-import-results
개요
설명
옵션
종료 코드
cov-import-scm
개요
설명
옵션
종료 코드
참고
cov-import-sigma
개요
설명
옵션
cov-install-updates
개요
설명
하위 명령
하위 명령 옵션
연결 옵션
공유 옵션
종료 코드
예
참고
cov-link
개요
설명
옵션
종료 코드
예
참고
cov-make-library
개요
설명
옵션
종료 코드
참고
cov-manage-emit
개요
설명
옵션
기본 옵션
필터링되지 않은 하위 명령
번역 단위 하위 명령 및 선택적 필터링
번역 단위 하위 명령 및 필요한 필터링
emit 데이터베이스 정보 열거
재컴파일
디컴파일
번역 단위 패턴 일치
공유 옵션
종료 코드
예
참고
cov-manage-findings
개요
설명
옵션
종료 코드
예
cov-preprocess
개요
설명
옵션
종료 코드
참고
cov-record-source
개요
설명
옵션
종료 코드
참고
cov-run-desktop
개요
설명
번역 단위 선택
Git superproject에 관한 정보
정규식
옵션 범주
옵션
종료 코드
참고
cov-run-fortran
개요
설명
Fortran 입력
Fortran 출력
옵션 용법
옵션 범주
옵션
종료 코드
참고
cov-run-sigma
개요
설명
옵션
cov-security-da
개요
설명
옵션
참고
cov-setup-bazel-registry
개요
설명
옵션
cov-support
cov-test-configuration
개요
설명
예
옵션
종료 코드
참고
cov-translate
개요
설명
예
옵션
종료 코드
참고
cov-upgrade-static-analysis
개요
설명
옵션
종료 코드
Coverity Analysis Ant 작업
covanalyzeandcommit
covbuild
Coverity CLI 명령
coverity analyze
coverity capture
coverity commit
coverity help
구성 구문 도움말
coverity list
coverity scan
coverity setup
Report-generation commands
Coverity CERT Report
cov-cert-report
cov-generate-cert-report
CVSS Report
cov-generate-cvss-report
Coverity DISA ASD STIG Report
cov-generate-disa-stig-report
현대 보고서
cov-generate-hyundai-report
Coverity Integrity Report
cov-generate-integrity-report
MISRA 보고서
cov-misra-report
cov-generate-misra-report
OWASP Web Top 10
cov-generate-owasp-report
Mobile OWASP Top 10
cov-generate-mobile-owasp-report
PCI DSS
cov-generate-pci-dss-report
Security Report
cov-security-report
cov-generate-security-report
Black Duck Software Integrity 보고서
bd-integrity-report
bd-generate-integrity-report
Coverity 보안 지시문 참조서
보안 구성 파일
지시문의 용법
보안 위협
사용자 정의 체커 정의
검사기별 지시문
지원되는 언어
사용자 구성 호출 방법
구성 파일 구문
구성 파일이 지원하는 JSON 확장자
JSON 용어
스키마
최상위 값
현재 지원되는 버전
구성 파일 내 객체
구성 파일 사용
사용자 지시문
android_protected_intent_actions
android_safe_categories
async_method
class_like_print_writer_for_servlet_output
csrf_check_needed
csrf_validator
data_has_tag
dataflow_checker_name
dataflow_through_callsite
dc_checker_name
define_lookup_method_call_map
ignore_all_argument_dataflow_to_method
ignore_method_dataflow
ignore_method_output
local_callback
map_read
map_write
method_returns_constant
method_returns_param
method_returns_servlet_output_stream
method_returns_tainted_data
method_set_for_dc_checker
method_with_servlet_sinks_on_input
method_with_servlet_sinks_on_output
move_xss_outside_method
sanitizer_for_checker
sensitive_action
sensitive_operation
simple_entry_point
sink_for_checker
tainted_data
text_checker_name
xss_sanitizer_method
버전 8에서 버전 12로 포맷 마이그레이션
사용자 지시문이 사용하는 기타 객체 유형
AccessPathElement
AnnotationSet
named
matching
CallsiteSet
callsite_with_static_target
call_on
new_on
CallsiteCondition
ClassName
ClassSet
named
matching
with_super
with_annotation
HtmlOutputContext
html_attribute_value_where_name_is_from_param
html_prefix
예
InputAndAccessPathSpecifier
InputTaint
InputTag
InputValue
IssueTypeDefinition
MethodCallSpecifier
method_call
lookup_by_constant_param
MethodName
MethodSet
named
matching
overrides
implemented_in_class
and
with_annotation
OutputAndAccessPathSpecifier
ParamIn
ParamOut
ReadableProgramData
from_callsite
read_from_object_with_tag
read_path_off_global
read_off_any
read_from_js_require
read_from_HANA_library_import
RegularExpression
ReturnConstant
SinkKind
TaintKind
TaintKindGroup
TextPattern
regex
xpath
WritableProgramData
to_callsite
write_to_object_with_tag
write_path_off_global
write_off_any
사용자 정의 가이드
사용자 정의 Coverity
Coverity Analysis 개요
전역 사용자 정의 선택지
전역 분석 옵션
데이터 소스에 대한 전역 신뢰 모델
체커, 언어 또는 기타 상황에 따른 선택
체커 옵션
사용자 정의 API 모델
코드 내 애너테이션
보안 분석 지시문(JSON)
새 체커 만들기
사용자 정의 데이터 흐름 및 텍스트 체커(JSON 지시문)
CodeXM 체커
종래의 체커 생성 방법
체커 사용 여부 설정
'cov-analyze'로 체커 활성화 및 비활성화
활성화된 체커 집합 변경
컴파일 경고 체커 사용 여부 설정(PW.*, RW.*, SW.*)
분석 경고 활성 여부 변경
취약한 데이터 식별
오염된 데이터 개요
오염된 데이터의 예
오염 종류 신뢰 옵션
오염된 데이터의 범주
코드 베이스의 오염 소스
민감한 데이터 개요
민감한 데이터 소스 형식
모델과 프리미티브
사용 사례
사용할 수 없는 소스 코드용 모델
효과가 없는 Coverity Analysis 파생 모델
사용자 정의 모델 추가
모델링 프리미티브
오염 열거
모델 검색 순서
C/C++의 모델
C/C++ 예
예: 기본 C 모델 오버라이드
메모리 할당을 에뮬레이트하는 C 모델 추가
결함 보고 개수를 줄이기 위한 기본 제공 모델 대체
함수 포인터를 위한 모델
함수에 klillpath를 추가하기 위한 모델
'special_abort()' 모델에 killpath 추가
병행성 모델
C++ 모델 추가
C++ 모델에 대한 일반 고려사항
메모리 할당 분석을 조정하는 C++ 모델 추가
가상 함수(C++)를 위한 모델
템플릿을 위한 모델(C++)
C/C++ 프리미티브
C/C++ 리소스 관리 프리미티브
C/C++ 보안 프리미티브
사용되지 않는 C/C++ 보안 프리미티브
가양성을 관리하기 위한 C/C++ 기본 요소
C/C++ 병행성 프리미티브
C# 및 Visual Basic의 모델
C# 및 Visual Basic 예
신뢰할 수 없는(오염된) 데이터 소스 모델링을 위한 프리미티브
민감한 데이터 소스 모델링을 위한 프리미티브
C# 및 Visual Basic 프리미티브
C# 및 Visual Basic 참조 개체 프리미티브
C# 및 Visual Basic 보안 프리미티브
C# 및 Visual Basic 부작용과 유틸리티 프리미티브
C# 및 Visual Basic 병행성 프리미티브
Go 내 모델
Go 예
신뢰할 수 없는(오염된) 데이터 소스 모델링을 위한 프리미티브
민감한 데이터 소스 모델링을 위한 프리미티브
Go 프리미티브
Go 보안 프리미티브
Go 부작용과 유틸리티 프리미티브
Go 병행성 프리미티브
Java의 모델
Java 예
Java 인터페이스 메서드를 위한 모델
리소스 누출을 위한 모델
신뢰할 수 없는(오염된) 데이터 소스를 위한 모델
오염된 데이터가 유입되어서는 안 되는 메서드(싱크)를 위한 모델
필드 오염 여부에 대한 어설션 추가
메서드에서 결함 보고 억제
Java 웹 어플리케이션 보안 모델 생성하기
Java 프리미티브
Java 리소스 누출 프리미티브
Java 보안 프리미티브
Java 민감 데이터 프리미티브
Java 부작용 프리미티브
Java 해제 후 사용 프리미티브
Java Coverity 프리미티브
Java Android 프리미티브
Java 반복자 프리미티브
Java 병행성 프리미티브
암호화 프리미티브
C/C++ 암호화 프리미티브
값 맵 문자열
C# 및 Visual Basic 암호화 프리미티브
Java 및 Kotlin 암호화 프리미티브
암호 프리미티브가 사용하는 열거형
알고리즘
BlockMode
패딩
구현
운용
SSL_Protocol
분석 애너테이션
C/C++의 애너테이션
C/C++ 코드 행 애너테이션
특수한 Coverity Connect 분류
FALSE 분류
SUPPRESS 분류
애너테이션 로그 기록
C/C++ 함수 애너테이션
C/C++ ‘#pragma’ 지시문 및 ‘_Pragma()’ 연산자
부합성 편차 애너테이션 처리
'#pragma coverity compliance' 지시문
'#pragma coverity compliance' 지시문: 추가 예
'_Pragma()_' 부합성 연산자
C# 및 Visual Basic의 애너테이션
C# 또는 Visual Basic 소스에 애너테이션 추가
.NET 코드의 ‘Tainted’ 및 ‘NotTainted’ 특성
.NET 코드의'SensitiveData' 특성
Java 애너테이션
Java 소스에 애너테이션 추가
Java 코드의 ‘@Tainted’ 및 ‘@NotTainted’ 특성
Java 코드의'@SensitiveData' 특성
구문 분석 경고 구성 파일
Coverity CodeXM Checkers Development Guide
Introduction to CodeXM
Nullable types
Interactive checker development
Learning to write CodeXM checkers
QuickStart tutorial
Writing your first CodeXM checker
Running your CodeXM checker
Further reading
How to write a CodeXM checker
Reviewing basic CodeXM concepts and exercises
Basic pattern matches and conditions
Decomposing a pattern to match specific properties
Using the filtering operator
Creating custom patterns
Returning objects from patterns
Finding a literal argument value
Handling null values
Using the 'exists' expression
Defining CodeXM variables
CodeXM types
Using switch statements
Using conditional expressions
Using the 'debug()' function
Defining CodeXM functions
Including other CodeXM files
Finding built-in code patterns
Function properties
Path-sensitive analysis
Writing an A_THEN_B checker
Writing your own Don't Call checker
A CodeXM style guide
Alternatives in patterns
Anonymous functions
Braces
Comments
Conditional Expressions
Constants
Enum, list, record, and set literals
'for' loops
Functions
Identifiers
'let' bindings
Multiline logical expressions
Pattern decompositions
Spacing and line length
'switch' expressions
Syntax reference
Describing syntax
Syntax diagrams
Extended Backus-Naur form
CodeXM character set
White space and comments
How does Coverity Analysis work?
CodeXM file-level elements
Specifying the target language
The identifier
The CodeXM-File
The checker-definition
Example of a checker
The 'defineIssueType()' function
The const-definition
The forward-declaration
The function-definition
Generic parameters
The function-property-definition
The include-directive
The pattern-definition
The type-definition
Expressions
The expression
Operator precedence
The 'default' operator
The addition-expression
Null coalescing
The binary-expression
The call-expression
The comparison-expression
The conditional-expression
The decomposing-pattern-expression
The comparand-expression
The element-access-expression
The exists-expression
The for-accumulate-expression
Initializing the accumulator
The logic of for-accumulate
The for-loop-expression
The result of a for-loop
The result of a checker
Visualizing a for-loop
The happens-before-expression
The 'sequence()' function
The if-exists-expression
The result of if-exists
The if-expression
if-expression behavior
The lambda-expression
The let-binding-expression
Using let-binding
The list-expression
list-expression behavior
The literal-expression
The enum-literal-expression
The int-literal-expression
The string-literal-expression
string-literal details
'null' and 'NonNull'
'true' and 'false'
The logical-expression
The matches-expression
The multiplication-expression
The pattern-expression
The match-list
The property-access-expression
The record-expression
The record-update-expression
The set-expression
The set-filter-expression
The switch-expression
The unary-expression
The variable-expression
The CodeXM type system
The type
The builtin-type
The eventstring
The collection-type
The type_of_empty_list
The enum-type
The function-type
The globalset-type
The named-type
The node-type
The nullable-type
The type_of_null
The pattern-type
The record-type
CodeXM keywords
Common library reference
Filtering target code
allCodeIn( theCode )
allMatchingCodeIn( desiredPattern, theCode )
anyMatchingCodeIn( desiredPattern, theCode )
contains( predicate, theCode )
containsMatch( desiredPattern, theCode )
filter( predicate, s )
innermostOwner( ownerPattern, theCode )
outermostOwner( ownerPattern, theCode )
outermostOwnerExpression( theExpression )
ownerStatement( theCode )
Handling sets and lists
reverse( l )
unique( equal, s )
Managing strings
Regex( string )
RegexExtended( string, options )
strcat( string0, string1 )
strToInt( string )
strToLower( string )
Debugging Support
debug( eventstring )
C/C++ library reference
Specifying the target language
The CUDA extension
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
enumDefinition
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
tokenizedSourceFile
'enum' kinds
assignKind
castKind
deducedTypeKind
floatKind
floatSuffix
forLoopKind
intKind
nullKind
qualifierEnum
sizeofKind
stringLiteralEncoding
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allEnums
allFunctionAndGlobalVariableCode
allFunctionAndGlobalVariableDefinitions
allFunctionCode
allFunctionDefinitions
allGlobalVariableDefinitions
allTokenizedSourceFiles
Code patterns
Statements
asmStatement
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopRange
forLoopSimple
Matching a loop whose condition is always true
gotoStatement
ifStatement
labelStatement
returnStatement
simpleStatement
switchStatement
tryStatement
whileLoop
Declarations
localFunctionDeclaration
variableDeclaration
Types
arrayType
boolType
charType
classType
deducedType
enumType
floatType
functionType
intType
memberType
nullPointerType
pointerType
referencedTypesType
referenceType
sizeofOperatorType
typedefType
typeQualifier
typeQualifierAtomic
typeQualifierConst
typeQualifierRestrict
typeQualifierVolatile
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
functionCall
kernelCall
memberReference
pointerDereference
sizeofOperatorExpression
subscriptReference
variableReference
Literals
booleanLiteral
characterLiteral
enumeratorLiteral
floatLiteral
intLiteral
nullPointerLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
castOperatorConstCast
castOperatorDynamicCast
castOperatorExplicit
castOperatorImplicit
castOperatorReinterpretCast
castOperatorStaticCast
conditionalOperator
decrementOperator
deleteOperator
incrementOperator
newOperator
sizeofOperator
throwOperator
unaryOperator
Initializers
aggregateInitializer
constructorInitializer
expressionInitializer
unionFieldInitializer
zeroInitializer
Symbols
Common properties of symbols
enumeratorSymbol
fieldSymbol
functionSymbol
globalVariableSymbol
localVariableSymbol
parameterSymbol
variableSymbol
Tokens
charLiteralToken
commentToken
identifierToken
numberToken
operatorToken
stringLiteralToken
token
unrecognizedToken
whitespaceOrCommentToken
whitespaceToken
Functions
Definition functions
getClassDefinition( classTypeResult )
getEnumDefinition( enumTypeResult )
Pattern functions
aliasTypeOf( typePattern )
anyQualifiedTypeOf( typePattern )
arrayOf( typePattern )
constOf( typePattern )
pointerTo( typePattern )
volatileOf( typePattern )
Type functions
hasBaseType( typeName )
Decomposing functions
getQualifiers( typeName )
qualifiersOf( typeName )
stripCasts( expressionString )
stripQualifiers( typeName )
C# library reference
Specifying the target language
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
Attribute classes
attributeArgument
attributeNamedArgument
attributePositionalArguments
'enum' kinds
assignKind
castKind
cvModifierKind
floatKind
ForLoopKind
intKind
variableDeclarationKind
variableScopeKind
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
fixedStatement
forLoop
forLoopEnhanced
forLoopSimple
gotoStatement
ifStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
returnStatement
simpleStatement
switchStatement
synchronizedStatement
throwStatement
tryStatement
unsafeStatement
whileLoop
Declarations
variableDeclaration
Types
arrayType
booleanType
charType
classType
cvModifiedType
enumType
floatType
functionType
genericType
integralType
nullableType
outParamReferenceType
pointerType
referenceParamType
referenceType
tupleClassType
typeParameterType
usingType
valueTupleType
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
argList
arrayLength
boxExpression
checkedBlock
checkedExpression
deconstructionExpression
dynamicCastExpression
dynamicFunctionCall
enumReference
expressionPattern
expressionTree
fieldAccess
fieldReference
functionCall
functionReference
instanceOf
isPattern
makeRefExpression
multiSubscriptReference
namedPattern
nullableGetValue
patternMatchExpression
propertyReference
propertyUpdate
referenceDereference
refTypeExpression
refValueExpression
stackAllocation
subscriptReference
temporaryConstruction
temporaryExpression
temporaryVariableReference
uncheckedBlock
uncheckedExpression
variableReference
yieldExpression
Literals
booleanLiteral
characterLiteral
classLiteral
enumLiteral
floatLiteral
integralLiteral
nullLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
awaitOperator
binaryOperator
castOperator
castOperatorExplicit
castOperatorImplicit
conditionalOperator
decrementOperator
incrementOperator
newOperator
nullableBinaryOperator
nullCoalescingOperator
sizeofOperator
throwOperator
unaryOperator
Initializers
addMemberInitializer
arrayDimensionsInitializer
arrayInitializer
assignmentMemberInitializer
baseClassInitializer
constructorInitializer
expressionInitializer
memberInitializer
nestedMemberInitializer
objectInitializer
peerConstructorInitializer
zeroInitializer
Symbols
Common properties of symbols
enumeratorSymbol
enumVariableSymbol
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
codeAttribute
declaration
handler
Functions
Definition functions
getClassDefinition( classTypeResult )
Type functions
hasBaseType( t )
stripReferenceTypes( t )
Decomposing functions
aliasTypeOf( baseType )
arrayOf( typePattern )
constOf( typePattern )
getQualifiers( t )
stripBoxes( e )
stripCasts( e )
stripCastsAndBoxes( e )
Overridee functions
getFunctionOverridees( f )
Go library reference
Specifying the target language
Class definitions
astnode
classDefinition
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
'enum' kinds
assignKind
castKind
floatKind
ForLoopKind
intKind
labelScopeKind
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
deferStatement
emptyStatement
fallThroughStatement
forLoop
forLoopSimple
gotoStatement
ifStatement
incDecStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
locallyDeclaredTypeStatement
returnStatement
selectStatement
sendStatement
simpleStatement
switchStatement
Declarations
variableDeclaration
Types
anyType
arrayType
boolType
classType
floatType
functionType
integerType
referenceType
stringType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
anyTypeVariableReference
attributeReference
boxExpression
builtinFunctionExpression
deconstructionExpression
dynamicFunctionCall
enumReference
fieldAccess
fieldReference
functionCall
functionReference
functionVariableReference
referenceDereference
variableReference
Literals
boolLiteral
compositeLiteral
floatLiteral
imaginaryLiteral
integerLiteral
mapLiteral
nilLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
decrementOperator
incrementOperator
newOperator
unaryOperator
Initializers
arrayInitializer
expressionInitializer
zeroInitializer
Symbols
Common properties of symbols
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
declaration
Functions
Definition functions
getClassDefinition( classType )
Pattern functions
arrayOf( typePattern )
Java library reference
Specifying the target language
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
Annotation classes
annnotationAnnotationElement
annotationArrayElement
annotationElement
annotationExpressionElement
'enum' kinds
assignKind
castKind
floatKind
ForLoopKind
intKind
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
assertStatement
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopEnhanced
forLoopSimple
ifStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
returnStatement
simpleStatement
switchStatement
synchronizedStatement
throwStatement
tryStatement
whileLoop
Declarations
variableDeclaration
Types
anyType
arrayType
booleanType
charType
classType
floatType
functionType
integerType
referenceType
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
arrayLength
boxExpression
enumReference
fieldAccess
fieldReference
functionCall
functionReference
instanceOf
referenceDereference
subscriptReference
variableReference
Literals
booleanLiteral
characterLiteral
classLiteral
floatLiteral
integerLiteral
nullLiteral
stringLiteral
Operators
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
castOperatorChecked
castOperatorExplicit
castOperatorImplicit
conditionalOperator
decrementOperator
incrementOperator
newOperator
throwOperator
unaryOperator
Initializers
arrayDimensionsInitializer
arrayInitializer
baseClassInitializer
constructorInitializer
expressionInitializer
memberInitializer
peerConstructorInitializer
zeroInitializer
Symbols
Common properties of symbols
enumVariableSymbol
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
annotationElementValuePair
codeAnnotation
declaration
handler
Functions
Definition functions
getClassDefinition( classTypeResult )
Type functions
hasBaseType( t )
stripReferenceTypes( t )
Decomposing functions
arrayOf( typePattern )
stripBoxes( e )
stripCasts( e )
stripCastsAndBoxes( e )
stripImplicitCasts( e )
Overridee functions
getFunctionOverridees( f )
JavaScript library reference
Specifying the target language
Class definitions
astnode
functionDefinition
globalVariableDefinition
'globalset' sets
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allTextFiles
Code patterns
Statements
anyLoop
blockStatement
breakStatement
caseStatement
continueStatement
debuggerStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopIn
forLoopOf
forLoopSimple
generatorReturnStatement
ifStatement
labelStatement
returnStatement
simpleStatement
switchStatement
throwStatement
tryStatement
whileLoop
withStatement
Declarations
classDeclaration
destructuringDeclaration
functionDeclaration
variableDeclaration
Types
functionType
scalarType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
argumentAfterExpansion
argumentsReference
arrayElision
classExpression
closedVariableReference
constructorDefinition
destructuringAssignment
destructuringParameter
functionCall
functionExpression
functionReference
generatorReturnValue
globalAccess
listExpansionArgument
localVariableReference
newTargetReference
nodejsRequire
parameterReference
parameterWithDefault
propertyAccess
propertyAccessBracket
restParameter
superReference
thisReference
variableReference
variableReferenceUnderWith
Literals
arrayLiteral
booleanLiteral
floatLiteral
integerLiteral
nullLiteral
objectLiteral
regularExpressionLiteral
stringLiteral
undefinedConstant
Operators
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
conditionalOperator
decrementOperator
deleteOperator
incrementOperator
instanceofOperator
newOperator
spreadOperator
typeofOperator
unaryOperator
voidOperator
yieldOperator
Initializers
expressionInitializer
Symbols
Common properties of symbols
closedVariableSymbol
functionSymbol
localVariableSymbol
parameterSymbol
theGlobalObjectSymbol
variableSymbol
Functions
Decomposing functions
stripImplicitCasts( e )
Python 3 library reference
Specifying the target language
Class definitions
astnode
functionDefinition
globalVariableDefinition
'enum' kinds
assignmentKind
numberKind
variableScopeKind
Code patterns
Statements
assertStatement
assignmentStatement
blockStatement
breakStatement
continueStatement
delStatement
expressionStatement
forEachLoop
ifStatement
importStatement
passStatement
raiseStatement
returnStatement
tryStatement
whileLoop
yieldBreakStatement
yieldStatement
Declarations
classDeclaration
functionDeclaration
localVariableDeclaration
Types
booleanType
compositeType
functionType
integralType
realType
stringType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
attributeReference
duplicatedValue
dynamicMapping
functionCall
functionReference
lambdaExpression
listComprehension
mapComprehension
setComprehension
sliceExpression
subscriptExpression
tupleComprehension
variableReference
yieldExpression
Literals
booleanLiteral
ellipsisLiteral
floatLiteral
imaginaryLiteral
integerLiteral
listLiteral
mapLiteral
noneLiteral
setLiteral
stringLiteral
tupleLiteral
undefinedLiteral
Operators
assignmentOperator
binaryOperator
castOperator
conditionalOperator
unaryOperator
Initializers
aggregateInitializer
expressionInitializer
mapInitializer
Symbols
Common properties of symbols
functionSymbol
globalVariableSymbol
localVariableSymbol
parameterSymbol
Functions
Python 3 Patterns
Statements
annotatedAssignmentStatement
caseStatement
globalOrNonlocalDeclarationStatement
matchStatement
Operators
unpackOperator
Expressions
awaitExpression
expressionPattern
isPattern
namedPattern
Coverity Extend SDK 체커 개발 안내서
Coverity Extend SDK 사용량
개요
Coverity Extend SDK 소개
Coverity Extend SDK 디렉토리 구조
Coverity Extend SDK 체커 컴파일
나의 첫 번째 체커 만들기: hello
hello 체커 소스 코드
hello 체커 컴파일
hello 체커 실행
다른 디렉토리에서 hello 체커 실행
문제를 Coverity Connect로 커밋
hello 체커 분석
편의를 위한 메이크파일 생성
추상 구문 트리
AST란?
print_tree를 사용하여 AST의 노드 검사하기
패턴
식 패턴
다양한 종류의 패턴
패턴 결합자
접근자
상태 머신 패러다임(state machine paradigm)
단순 체커 vs. 저장소를 가진 체커
추상 해석
방문 순서
저장소(store) 조작
예: 식의 부호 추적
출력
OUTPUT_ERROR
ADD_EVENT
COMMIT_ERROR
ADD_INPUTFILE_ONLY_EVENT
COMMIT_INPUTFILE_ONLY_ERROR
ADD_INPUTFILE_EVENT
COMMIT_INPUTFILE_ERROR
예: sign2
조건식
ANALYZE_CONDITION
MATCH_COND
force_backtrack
예: sign3
추상 비교
비교 값 구하기
경로
각 함수 당 다수의 경로
거짓 경로 정리(FPP)
이중 패스 검사(two-pass checking)
종료
클래스 계층 검사
변수에서 해당 클래스/형식으로의 매핑
형식들의 트리 구조
클래스
상속
관계를 오버라이드하는 가상 함수
type_t 반복자
type_visitor_t
subtype_visitor_t
type_recursive_visitor_t
type_t 객체들은 언제 메모리에 상주하는가?
예: print type 정보
예: switch default
이벤트와 입력 파일의 결함 보고
Android 어플리케이션용 Coverity Extend SDK 체커를 빌드하기 위한 추가 절차
입력 파일 클래스 extend_inputfile_t
입력 파일 매크로
입력 파일 체커 예
Coverity Extend SDK 체커 문제 해결
Coverity Extend SDK 체커는 일치하지 않는 트리 사용 오류가 나오면 실행을 중단합니다.
Coverity Extend SDK 참조
Coverity Extend SDK API 소개
핸들러 함수
Coverity Extend SDK 체커 파일 구조
START_EXTEND_CHECKER
END_EXTEND_CHECKER
MAKE_MAIN
INIT_OPTIONS
HANDLE_OPTION
CHECKER_INIT
CHECKER_FINAL
FUNCTION_INIT
FUNCTION_FINAL
ANALYZE_TREE
ANALYZE_CONDITION
ANALYZE_END_OF_PATH
PREFER_TO_ANALYZE_CSHARP
PREFER_TO_ANALYZE_JAVA
PREFER_TO_ANALYZE_JAVASCRIPT
ANALYZE_CLASS
패턴
C# 및 Java 체커용 패턴
모든 패턴에 공통적인 함수
ASTNodePattern 슈퍼클래스
ExpressionPattern 슈퍼클래스
TypePattern 슈퍼클래스
SymbolPattern 슈퍼클래스
사전에 정의된 패턴 개체
식 패턴
기본 식 패턴
함수 호출 사이트 식 패턴
변수 참조식 패턴
형식 필터링된 식 패턴
복합 식 패턴
평가 패턴
문 패턴
기타 패턴
바인딩(binding) 패턴
구문 문맥 필터
STL 구성체 패턴
기타 패턴
조합자(And, Or 등)
접근자
추가 AST 쿼리 함수
현재 함수에 관한 쿼리
현재 파일에 관한 쿼리
트리에 관한 쿼리
저장소(store)
저장소 개요
void SET_STATE(tree t, int v)
void CLEAR_STATE(tree t)
bool GET_STATE(tree t, int &v)
bool MATCH_STATE(tree t, int v)
bool COPY_STATE(tree dst, tree src)
FOREACH_IN_STORE(tree &t, int &v) { body }
bool ADD_EVENT(tree t, char const *tag, desc)
bool COMMIT_ERROR(tree t, char const *tag, desc)
ADD_INPUTFILE_EVENT
COMMIT_INPUTFILE_ERROR
이벤트 추가
형식
type_t
any_type_t
scalar_type_t
pointer_type_t
array_type_t
cv_wrapper_type_t
function_type_t
scoped_type_t
scope_t
defined_type_t
typedef_type_t
forward_declarable_type_t
enum_type_t
tag_t
union_type_t
field_t
class_type_t
parent_t
function_t
member_type_t
extend_inputfile_t
참고 정보
헤더 파일
이름 맹글링
맹글링된 명명 체계: C++
맹글링된 명명 체계: C#
맹글링된 명명 체계: Java
체커 예
체커 소스 파일
sign 체커
sign2 체커
sign3 체커
print_types.cpp
switch_default.cpp
javascript_match_local.cpp
Coverity Analysis: 설치 및 업그레이드
Coverity Analysis 하드웨어
최소 요구사항
병렬 분석에 필요한 메모리
디스크
운영 체제 고려사항
공유 컴퓨터
가상 컴퓨터
Coverity 제품 구성요소: 지원되는 버전 및 호환성
Coverity SCM 지원
Coverity Analysis용 지원되는 플랫폼
Extend SDK 및 FlexNet 라이선스용 지원되는 플랫폼
Coverity Analysis를 위해 지원되는 언어, 컴파일러 및 프레임워크
C/C++ 컴파일러
C++23 (ISO/IEC DIS 14882:2023) 언어 지원
C# 컴파일러
CUDA 컴파일러
Go 컴파일러
Java 컴파일러
Kotlin 컴파일러
Visual Basic 컴파일러
타사 컴파일러
프레임워크
Coverity Analysis 업그레이드
표준 업그레이드 절차
churn 이해하기
체커는 기본적으로 비활성 상태
웹 어플리케이션 아카이브를 emit할 때 새 동작
중분 릴리스를 통한 Coverity Analysis 업데이트
설치
업데이트의 작동 방식
cov-install-updates 실행
업데이트 세션 롤백
기타 유틸리티
업데이트를 통한 Coverity Analysis 사용 업그레이드
클라이언트, 플러그인, 통합, API
Coverity 통합 및 API
명령 행 클라이언트
플러그인 및 기타 통합
API 참조서
Coverity Point 및 Scan UI 및 Coverity CLI 안내서
Coverity Point 및 Scan 및 Coverity 명령행 인터페이스(CLI) 소개
Point 및 Scan, Coverity CLI 및 파일 사용
기본 분석
Point 및 Scan 또는 Coverity CLI를 사용하기 위한 요건 Coverity Connect
Coverity Point and Scan UI 사용
개별 문제 보기
스캔 및 구성 다시하기
Coverity CLI 사용
Coverity CLI 구성
사용 사례
'clean' 및 'build' 명령 지정
스캔 결과를 커밋할 위치 지정
프로젝트 분석 방법 지정
분석을 위해 캡처할 파일 지정
'languages' 옵션
'files' 옵션
기본 제외 항목
특정 파일 세트 캡처
구체적인 예시: '언어' 및 '파일' 옵션 함께 사용
웹 애플리케이션 보안 활성화
모바일 Java Android 보안 활성화
예: MISRA 표준 편차 찾기 및 체커 맞춤화
명령 참조서
공통 명령 옵션
옵션 참조서
캡처 구성
빌드 구성
컴파일러 구성
Coverity 번역 구성
파일 구성
SCM 구성 가져오기
언어 구성
병렬 번역 구성
웹 아카이브 구성
분석 구성
체커 구성
특정 체커 구성
코딩 표준 구성
사전 가공된 코딩 표준 구성
특정 코딩 표준 구성
확인된 코딩 표준 구성
코딩 표준 편차
Connect 구성 분석
지시문 구성
확인된 보안 지시문 구성
파일 구성 분석
작업 구성
구문 분석 경고 구성
Sigma 구성
웹앱 보안 구성
커밋 구성
Connect 구성
스냅샷 구성
선별 구성
로컬 구성
캐싱 구성
문제 해결
coverity list
진단 문서
로그 파일
Point and Scan 및 CLI 지원 매트릭스
Bazel 지원
Go 지원
Coverity CLI를 사용한 구성 기본값 재정의
구성 설정 편집
컴파일러 구성
명령 추론 비활성화
특정 언어의 코드 캡처 또는 제외
정규식으로 지정된 파일 포함 또는 제외
Glob 패턴으로 지정된 파일 포함 또는 제외
라이브러리 또는 라이브러리 디렉토리 포함
Coverity CLI 명령
coverity analyze
coverity capture
coverity commit
coverity help
구성 구문 도움말
coverity list
coverity scan
coverity setup
Coverity Desktop 시작하기
Coverity Desktop Analysis: 사용 설명서
Desktop Analysis 개요
사용자 인터페이스 선택
요구사항
도움말 시작하기
Desktop Analysis 빠른 시작 가이드
필요 사항
Coverity Analysis 도구 설치
명령 행에서의 Desktop Analysis
coverity.conf 생성하기
PATH에 bin 디렉토리 추가
cov-run-desktop --setup 실행
소스 파일 분석
결함 검토
편집기 또는 IDE에서 Desktop Analysis 실행
Emacs에서 Desktop Analysis 사용
Vim에서 Desktop Analysis 사용
IDE에서의 Desktop Analysis
Coverity Connect 통합
인증 키 사용
비접속 모드
Desktop Analysis 관리
코드 베이스용 coverity.conf 생성하기
Visual Studio Code를 사용하여 coverity.conf 구성 파일 편집하기
Visual Studio를 사용하여 coverity.conf 구성 파일 편집하기
소스 코드 관리(SCM) 제외 목록에 data-coverity 추가
Desktop Analysis 참조
개념
cov-run-desktop 명령
분석 범위 정의
소스 코드 관리 시스템 통합
일차 이외의 소스 파일 분석(C/C++)
요청에 따른 파일 컴파일
cov-run-desktop을 사용하여 보안 체커 실행하기
cov-run-desktop을 사용하여 전체 프로그램 분석하기
로컬 결함 소유자 할당
Desktop Analysis 사용 추적
결과가 다른 이유
구성요소 권한의 효과
JSON 출력 구문 Desktop Analysis
CoverityIssues
IssueOccurrence
이벤트
StateOnServer
CheckerProperties
선별
CustomTriage
LocalTriage
DesktopAnalysisSettings
ReferenceSnapshotDetails
PortableAnalysisSettings
FileCheckerOption
오류
coverity.conf 파일 형식
coverity.conf
UserDefinedVariables
ConditionalSettings
조건
설정
서버
CovRunDesktopSettings
SCMSettings
CompilerConfiguration
KnownInstallation
ExtendDirectories
체커
CheckerSettings
CheckerOptions
string
정규 표현식(regex)
path
CodeXMFiles
coverity.conf 파일 예
IDESettings
PathMapping
이전 버전과의 호환성
Desktop Analysis 문제해결
Coverity Desktop 사용자 설명서(Eclipse)
Coverity Desktop 개요
이 가이드에 관한 정보
Eclipse용 Coverity Desktop 요구 사항
도움말 시작하기
Coverity Desktop 개념 및 사용 사례
개념
사용 사례
사용 사례 - 중앙 분석과 함께 Coverity Desktop 사용
사용 사례 - 로컬 분석과 함께 Coverity Desktop 사용
사용 사례 - 중앙 및 로컬 분석과 함께 Coverity Desktop 사용
시작하기
원격 문제 검색
로컬 분석 실행
분석 옵션 및 보기
도구 모음 바로 가기
Coverity 메뉴
Coverity 서버 문제 보기
전체 범위 빌드 캡쳐
분석 범위 옵션
오프라인 모드
보기 표시 하위 메뉴
분석 구성...
Coverity Desktop Plugin 사용 설명서
Coverity Desktop 도움말 센터
문제 보기
문제 보기 표시 구성
문제 정렬
문제 필터
미리 정의된 필터
사용자 정의 필터
상황에 맞는 메뉴
상세 정보 보기
문제 정보
문제 선별
발생 횟수 탭
이력 탭
문제 특성
Classification
심각도
조치
외부 참조
Owner
Comment
진단 수집
분석 구성... 대화 상자
일반 구성
컴파일러 구성 대화 상자
Coverity Connect
스트림
SCM
고급 구성
고급: 빌드
고급: 분석
고급: 범위
고급: 참조 스냅샷
고급: 파일 제외
고급: 파일 경로 매핑
고급: 워크플로
동적 변수
Coverity Desktop Eclipse 문제 해결
문제에 관한 상세 정보 찾기
Coverity Desktop 사용자 설명서(IntelliJ IDEA 및 Android Studio)
Coverity Desktop 개요
요구사항
도움말 시작하기
Coverity Desktop 개념 및 사용 사례
개념
사용 사례
사용 사례 - 중앙 분석과 함께 Coverity Desktop 사용
사용 사례 - 로컬 분석과 함께 Coverity Desktop 사용
사용 사례 - 중앙 및 로컬 분석과 함께 Coverity Desktop 사용
시작하기
원격 문제 검색
로컬 분석 실행
분석 옵션 및 보기
도구 모음 바로 가기
Coverity 메뉴
Coverity 문제 보기 및 선별하기
분석 범위 옵션
분석 구성...
Coverity Desktop Plugin 사용 설명서
Coverity Desktop 도움말 센터
문제 보기
문제 정렬
문제 필터
미리 정의된 필터
사용자 정의 필터
상황에 맞는 메뉴
상세 정보 보기
문제 정보
문제 선별
발생 횟수 탭
이력 탭
문제 특성
Classification
심각도
조치
외부 참조
Owner
Comment
진단 수집
분석 구성... 대화 상자
일반 구성
컴파일러 구성 대화 상자
Coverity Connect
스트림
SCM
고급 구성
고급: 빌드
고급: 분석
고급: 범위
고급: 참조 스냅샷
고급: 파일 제외
고급: 파일 경로 매핑
Gradle을 사용한 로컬 분석
Coverity Desktop 사용자 설명서(Microsoft Visual Studio)
Coverity Desktop 개요
이 가이드에 관한 정보
요구사항
도움말 시작하기
Coverity Desktop 개념 및 사용 사례
개념
사용 사례
사용 사례 - 중앙 분석과 함께 Coverity Desktop 사용
사용 사례 - 로컬 분석과 함께 Coverity Desktop 사용
사용 사례 - 중앙 및 로컬 분석과 함께 Coverity Desktop 사용
시작하기
원격 문제 검색
로컬 분석 실행
분석 옵션 및 보기
도구 모음 바로 가기
Coverity 메뉴
Coverity 서버 문제 보기
솔루션 빌드 캡처
분석 범위 옵션
오프라인 모드
Windows
분석 구성...
Coverity Desktop Plugin 사용 설명서
Coverity Desktop 도움말 센터
문제 보기
문제 보기 표시 구성
문제 정렬
문제 필터
미리 정의된 필터
사용자 정의 필터
상황에 맞는 메뉴
상세 정보 보기
문제 정보
문제 선별
발생 횟수 탭
이력 탭
문제 특성
Classification
심각도
조치
외부 참조
Owner
Comment
중간 디렉토리 상세 정보 보기
진단 수집
분석 구성... 대화 상자
일반 구성
Coverity Connect
스트림
SCM
고급 구성
고급: 빌드
고급: 분석
고급: 범위
고급: 참조 스냅샷
고급: 파일 제외
고급: 파일 경로 매핑
고급: 워크플로
동적 변수
Visual Studio와 함께 Coverity Desktop 사용하기 위한 문제 해결
Coverity Desktop 구성요소 설치
Eclipse, Wind River Workbench, QNX Momentics, IBM RTC용 Coverity Desktop 설치
업데이트 사이트를 통한 Coverity Desktop 설치
로컬 데스크톱에서 Coverity Desktop 설치
QNX 및 WindRiver 도구 체인용 컴파일러의 자동 구성
Coverity Desktop 제거
Coverity Desktop for Microsoft Visual Studio 설치
갤러리를 사용하여 Coverity Desktop for Visual Studio 설치 및 업데이트
Coverity Desktop for IntelliJ IDEA 및 Android Studio 설치
로컬 데스크톱에서 Coverity Desktop 설치
로컬 분석용 Coverity Analysis 설치
Coverity 제품 구성요소: 지원되는 버전 및 호환성
Coverity Desktop
Coverity Connect 및 Coverity Analysis과의 버전 호환성
IDE 및 Java 버전 지원
Coverity Desktop for Eclipse가 지원되는 플랫폼
Coverity Desktop for IBM Rational Team Concert(RTC)가 지원되는 플랫폼
Coverity Desktop for ARM Development Studio 5(DS-5)가 지원되는 플랫폼
Coverity Desktop for Wind River WorkBench가 지원되는 플랫폼
Coverity Desktop for QNX Momentics IDE가 지원되는 플랫폼
Coverity Desktop for Microsoft Visual Studio IDE가 지원되는 플랫폼
Coverity Desktop for IntelliJ IDEA가 지원되는 플랫폼
Coverity Desktop for Android Studio가 지원되는 플랫폼
Coverity Desktop 기타 IntelliJ 기반 IDE용이 지원되는 플랫폼
Coverity Connect APIs
Coverity Platform SOAP 웹 서비스 API 참조서
API 가이드
Coverity Platform SOAP 웹 서비스 API 참조(v9)
설명
소스
개요
독자층
시작하기
구성 서비스 웹 서비스
연산: 구성 서비스
연산: copyStream
연산: createAttribute
연산: createComponentMap
연산: createGroup
연산: createLdapConfiguration
연산: createProject
연산: createRole
연산: createStream
연산: createStreamInProject
연산: createTriageStore
연산: createUser
연산: deleteAttribute
연산: deleteComponentMap
연산: deleteGroup
연산: deleteLdapConfiguration
연산: deleteProject
연산: deleteRole
연산: deleteSnapshot
연산: deleteStream
연산: deleteTriageStore
연산: deleteUser
연산: executeNotification
연산: getAllLdapConfigurations
연산: getAllPermissions
연산: getAllRoles
연산: getAttribute
연산: getAttributes
연산: getBackupConfiguration
연산: getCategoryNames
연산: getCheckerNames
연산: getCommitState
연산: getComponent
연산: getComponentMaps
연산: getDefectStatuses
연산: getDeleteSnapshotJobInfo
연산: getDeveloperStreamsProjects
연산: getGroup
연산: getGroups
연산: getLdapServerDomains
연산: getLicenseConfiguration
연산: getLicenseState
연산: getLoggingConfiguration
연산: getMessageOfTheDay
연산: getOutputFileForSnapshot
연산: getProjects
연산: getRole
연산: getServerTime
연산: getSignInConfiguration
연산: getSkeletonizationConfiguration
연산: getSnapshotInformation
연산: getSnapshotPurgeDetails
연산: getSnapshotsForStream
연산: getStandardAttribute
연산: getStandardAttributes
연산: getStreams
연산: getSystemConfig
연산: getTriageStores
연산: getTypeNames
연산: getUser
연산: getUsers
연산: getVersion
연산: importLicense
연산: notify
연산: refreshLdapGroup
연산: setAcceptingNewCommits
연산: setBackupConfiguration
연산: setLoggingConfiguration
연산: setMessageOfTheDay
연산: setSkeletonizationConfiguration
연산: setSnapshotPurgeDetails
연산: updateAttribute
연산: updateComponentMap
연산: updateGroup
연산: updateLdapConfiguration
연산: updateProject
연산: updateRole
연산: updateSignInConfiguration
연산: updateSnapshotInfo
연산: updateStream
연산: updateTriageStore
연산: updateUser
복합 형식: 구성 서비스
복합 형식: attributeDefinitionDataObj
복합 형식: attributeDefinitionIdDataObj
복합 형식: attributeDefinitionSpecDataObj
복합 형식: attributeValueChangeSpecDataObj
복합 형식: attributeValueDataObj
복합 형식: attributeValueIdDataObj
복합 형식: attributeValueSpecDataObj
복합 형식: backupConfigurationDataObj
복합 형식: commitStateDataObj
복합 형식: componentDataObj
복합 형식: componentDefectRuleDataObj
복합 형식: componentIdDataObj
복합 형식: componentMapDataObj
복합 형식: componentMapFilterSpecDataObj
복합 형식: componentMapIdDataObj
복합 형식: componentMapSpecDataObj
복합 형식: componentPathRuleDataObj
복합 형식: configurationDataObj
복합 형식: CovRemoteServiceException
복합 형식: deleteSnapshotJobInfoDataObj
복합 형식: featureUpdateTimeDataObj
복합 형식: getOutputFileForSnapshot
복합 형식: getOutputFileForSnapshotResponse
복합 형식: groupDataObj
복합 형식: groupFilterSpecDataObj
복합 형식: groupIdDataObj
복합 형식: groupsPageDataObj
복합 형식: groupSpecDataObj
복합 형식: ldapConfigurationDataObj
복합 형식: ldapConfigurationSpecDataObj
복합 형식: licenseDataObj
복합 형식: licenseSpecDataObj
복합 형식: licenseStateDataObj
복합 형식: localizedValueDataObj
복합 형식: loggingConfigurationDataObj
복합 형식: outputFileDataObj
복합 형식: pageSpecDataObj
복합 형식: permissionDataObj
복합 형식: projectDataObj
복합 형식: projectFilterSpecDataObj
복합 형식: projectIdDataObj
복합 형식: projectSpecDataObj
복합 형식: roleAssignmentDataObj
복합 형식: roleDataObj
복합 형식: roleIdDataObj
복합 형식: roleSpecDataObj
복합 형식: serverDomainIdDataObj
복합 형식: signInSettingsDataObj
복합 형식: skeletonizationConfigurationDataObj
복합 형식: snapshotFilterSpecDataObj
복합 형식: snapshotIdDataObj
복합 형식: snapshotInfoDataObj
복합 형식: snapshotPurgeDetailsObj
복합 형식: standardAttributeDataObj
복합 형식: standardAttributeIdDataObj
복합 형식: standardAttributeValueDataObj
복합 형식: standardAttributeValueIdDataObj
복합 형식: streamDataObj
복합 형식: streamFilterSpecDataObj
복합 형식: streamIdDataObj
복합 형식: streamSpecDataObj
복합 형식: triageStoreDataObj
복합 형식: triageStoreFilterSpecDataObj
복합 형식: triageStoreIdDataObj
복합 형식: triageStoreSpecDataObj
복합 형식: userDataObj
복합 형식: userFilterSpecDataObj
복합 형식: usersPageDataObj
복합 형식: userSpecDataObj
복합 형식: versionDataObj
단순 형식: 구성 서비스
단순 형식: deleteSnapshotJobStatus
결함 서비스 웹 서비스
연산: 결함 서비스
연산: getComponentMetricsForProject
연산: getFileContents
연산: getMergedDefectDetectionHistory
연산: getMergedDefectHistory
연산: getMergedDefectsForProjectScope
연산: getMergedDefectsForSnapshotScope
연산: getMergedDefectsForStreams
연산: getStreamDefects
연산: getTrendRecordsForProject
연산: getTriageHistory
연산: updateDefectInstanceProperties
연산: updateStreamDefects
연산: updateTriageForCIDsInTriageStore
복합 형식: 결함 서비스
복합 형식: attributeDefinitionIdDataObj
복합 형식: attributeDefinitionValueFilterMapDataObj
복합 형식: attributeValueIdDataObj
복합 형식: componentIdDataObj
복합 형식: componentMetricsDataObj
복합 형식: CovRemoteServiceException
복합 형식: defectChangeDataObj
복합 형식: defectDetectionHistoryDataObj
복합 형식: defectInstanceDataObj
복합 형식: defectInstanceIdDataObj
복합 형식: defectStateAttributeValueDataObj
복합 형식: defectStateDataObj
복합 형식: defectStateSpecDataObj
복합 형식: eventDataObj
복합 형식: fieldChangeDataObj
복합 형식: fileContentsDataObj
복합 형식: fileIdDataObj
복합 형식: functionInfoDataObj
복합 형식: localizedValueDataObj
복합 형식: mergedDefectDataObj
복합 형식: mergedDefectFilterSpecDataObj
복합 형식: mergedDefectIdDataObj
복합 형식: mergedDefectsPageDataObj
복합 형식: pageSpecDataObj
복합 형식: projectIdDataObj
복합 형식: projectMetricsDataObj
복합 형식: projectScopeDefectFilterSpecDataObj
복합 형식: projectTrendRecordFilterSpecDataObj
복합 형식: propertyDataObj
복합 형식: propertySpecDataObj
복합 형식: snapshotScopeDefectFilterSpecDataObj
복합 형식: snapshotScopeSpecDataObj
복합 형식: standardAttributeIdDataObj
복합 형식: standardAttributeValueFilterMapDataObj
복합 형식: standardAttributeValueIdDataObj
복합 형식: streamDefectDataObj
복합 형식: streamDefectFilterSpecDataObj
복합 형식: streamDefectIdDataObj
복합 형식: streamIdDataObj
복합 형식: triageHistoryDataObj
복합 형식: triageStoreIdDataObj
형식 및 상수
조치
특성 이름
특성 형식(attributeType)
일시(dateTime)
도메인
이벤트 유형(eventKind)
문제 유형(issueKind)
언어
로캘
권한
역할 할당 유형(roleAssignmentType)
역할 유형(roleAssignmentDataObj.type)
역할 ID(기본 제공 역할: roleAssignmentDataObj.roleId)
심각도
상태
오류 코드
1000-1099: 일반 사항
1100-1199: 사용자
1200-1299: 특성
1300-1399: 프로젝트, 스트림, 스냅샷
1400-1499: 결함
1501-1599: 내부 오류
1600-1699: 구성요소
1700-1799: 역할
1800-1899: 파일 및 함수
1900-1999: 라이선스
2000-2099: 선별 저장소
2100-2199: LDAP
2200-2299: 보기 알림
SOAP 웹 서비스 API 용어집
특성
체커
CID
구성요소
결함
외부 참조
수정 목표
권한
프로젝트
역할
스냅샷
소스 버전
스트림
하위 범주
대상
선별
선별 저장소
버전
API 이력
변경 로그: 구성 서비스
연산: 구성 서비스
데이터 객체: 구성 서비스
변경 로그: 결함 서비스
연산: 결함 서비스
데이터 객체: 결함 서비스
Coverity Platform REST 웹 서비스 API 안내서
독자층
SOAP API에서 REST 웹 서비스 API로 마이그레이션
Coverity Platform REST Web Services API 개요
Coverity Platform REST Web Services API 소개
용어
API 액세스
작업 흐름 예제
체커 특성
모든 체커 관련 특성 검색
체커 관련 특성에 사용할 값 검색
커밋 게이트
데이터베이스가 새로운 분석 결과 커밋을 받을지 여부 확인
데이터베이스가 새로운 분석 결과 커밋을 받을지 여부 제어
구성요소 맵
새 구성요소 맵 및 연결된 구성요소 생성
지정된 구성요소 맵 검색
모든 구성요소 맵 검색
구성요소 맵 및 연결된 구성요소 업데이트
구성요소 맵 삭제
구성요소
지정된 구성요소 검색
이메일 알림
지정된 보기에 대한 이메일 알림 보내기
파일
경로별로 파일 검색
콘텐츠 해시별로 파일 검색
Health Check
건전도 검사 보고서 다운로드
JSON 건전도 검사 보고서 검색
건전도 검사 보고서 생성
건전도 검사 보고서에서 생성 현황 검색
건전도 검사 확인 보고서 생성 중지
문제 특성
문제 status 특성에 사용할 값 검색
문제 발생 횟수
문제 발생 사례의 모든 열 키 검색
프로젝트에서 모든 문제 발생 사례 가져오기
범주별로 문제 발생 횟수 검색
문제
문제의 모든 열 키 검색
문제 검출 이력 검색
프로젝트에서 영향도가 높은 문제 모두 검색
프로젝트에서 모든 문제 검색
범주별로 문제 수 검색
소스 코드 정보 검색
선별 특성 값 업데이트
선별 이력 검색
LDAP 구성
LDAP 구성 생성
모든 LDAP 구성 검색
LDAP 구성 업데이트
LDAP 구성 삭제
모든 LDAP 도메인 검색
LDAP 그룹 새로 고침
라이센스
Coverity Connect 라이선스 파일을 가져옵니다.
Coverity Connect 라이선스 정보 검색
현지 언어
지원되는 모든 현지 언어 검색
로깅 구성
로깅 구성 검색
로깅 옵션 구성
유지 관리
데이터베이스 백업 예약 검색
데이터베이스 백업 예약 설정
데이터베이스 지금 백업
삭제 분석 요약 프로세스에 대한 구성 검색
삭제 분석 요약 프로세스에 대한 업데이트 구성
스냅샷 세부 정보 제거 프로세스에 대한 구성 검색
스냅샷 세부 정보 제거 프로세스에 대한 구성 업데이트
메트릭
지정된 소스 코드 파일에 대한 HIS 메트릭 측정, 코드 메트릭 측정 및 메타데이터 검색
지정된 함수 대한 HIS 메트릭 측정, 기타 측정 및 메타데이터 검색
프로젝트
프로젝트 생성
지정된 프로젝트 검색
모든 프로젝트 검색
프로젝트 업데이트
프로젝트 삭제
구성요소별 세그먼트 코드 분석 측정 검색
지정된 프로젝트에 대한 코드 분석 추이 검색
Developer Streams 프로젝트 검색
역할
역할 생성
지정된 역할 검색
모든 역할 검색
역할 업데이트
역할 삭제
SAML 구성
SAML 구성 생성
SAML 구성 검색
SAML 구성 업데이트
SAML 구성 삭제
IdP (ID 공급자) 메타데이터 검색
SP (서비스 제공업체) 메타데이터 검색
Scan Proxy Service
서버 정보
구성 검색
오늘의 메시지 검색
오늘의 메시지 업데이트
날짜와 시간 검색
버전 번호 검색
사인인 구성
현재 사인인 구성 검색
현재 사인인 구성 업데이트
스냅샷
스냅샷에 대한 정보 검색
스냅샷 속성 업데이트
스냅샷을 삭제합니다
스냅샷 삭제 상태 검색
스냅샷 출력 파일 검색
표준 속성
지정된 표준 특성 검색
모든 표준 특성 검색
스트림
스트림 생성
스트림 검색
모든 스트림 검색
스트림 업데이트
지정된 스트림 복사
스트림 삭제
스트림 UUID 검색
스트림 스냅샷 ID 검색
스캔 투명도 데이터 검색
선별 특성
선별 특성 만들기(“값 목록” 유형)
선별 특성 만들기(“자유 형식 텍스트” 유형)
지정된 선별 특성 검색
모든 선별 특성 검색
선별 특성 업데이트(“값 목록” 형식)
선별 특성 업데이트(“자유 형식 텍스트”)
선별 저장소
분류 저장소 만들기
지정된 심사 저장소 검색
심사 저장소 업데이트
심사 저장소 삭제
사용자 그룹
사용자 그룹 생성
사용자 그룹 검색
사용자 그룹 업데이트
사용자 그룹 삭제
사용자
사용자 생성
모든 사용자 검색
사용자 업데이트
사용자 삭제
보기
새 보기 만들기
보기 삭제
현재 사용자가 액세스할 수 있는 모든 보기 검색
지정된 보기의 내용 검색
모든 보기에 대한 메타데이터 검색
모든 보기의 소유권 재할당
지정된 보기의 소유권 재할당
보기 설정 업데이트
보기 유형
지정된 보기 유형에 대한 열 키 검색
지정된 보기 유형에 대한 데이터 검색
보기 관리 연산(v1)
PATCH api/view/v1/username/{source_user}/ldap/{source_ldap}
설명
매개변수
경로 매개변수
페이로드 매개변수
응답
예
PATCH api/view/v1/view/{view_id}
설명
매개변수
경로 매개변수
페이로드 매개변수
응답
예
GET api/view/v1/views
설명
매개변수
응답
예
GET api/views/v1
설명
매개변수
응답
예
GET api/viewContents/{type}/v1/{view_id}
설명
매개변수
경로 매개변수
쿼리 매개변수
응답
예
Coverity Platform REST API 참조 (v2)
CIM API Guide
Coverity Platform Scan Proxy Service API 참조서 (v2)
Scan Proxy API Guide
클라우드 네이티브 Coverity 배포
Coverity 클라우드 배포 관리자 및 사용 설명서
이 문서의 목적
이 문서 사용
규칙
다른 Coverity 문서와 함께 이 문서 사용
Coverity 클라우드 배포 정보
Coverity 클라우드 배포
Coverity Connect 전용 배포
Scan Service 배포가 포함된 Coverity Connect
Connet 웹 애플리케이션 고가용성
Connect 웹 애플리케이션 HA 사용의 이점
Scan Service
Thin Client
스캔 목록 보기
고객의 책임 및 배포 워크플로
고객의 책임
Black Duck 책임
Coverity 배포 시나리오
Connect 전용 빠른 시작
Connect 및 Scan Service 배포
onPrem OCI Redis 및 MinIO를 사용하여 Connect 및 Scan Service 배포
Coverity가 데이터 센터에서 클라우드로 재배포
Coverity가 퍼블릭 클라우드에서 쿠버네티스로 재배포
Black Duck 커뮤니티 액세스 권한, Coverity 라이선스, 레지스트리 자격 증명, 헬름 차트, 클라이언트 소프트웨어 획득
다음에 대한 액세스 요청 Black Duck 커뮤니티
Coverity 라이선스 취득
Black Duck Docker 레지스트리 인증정보 요청
Black Duck 비공개 Doker 레지스트리 인증정보 액세스
Black Duck 리포지토리 정보
Black Duck 공개 Docker 레지스트리에서 헬름 차트 다운로드하기
Coverity 클라이언트 인스톨러 및 설명서 파일
Black Duck 리포지토리에서 Coverity 툴킷 아티팩트 다운로드
Coverity 툴킷 tar 파일 업로드에 대한 NGINX proxy-body-size를 Connect로 설정
Black Duck 리포지토리에서 전체 분석 클라이언트 파일 다운로드
curl을 사용하여 Black Duck 레지스트리에서 플랫폼, 호스트 ID 및 문서 파일 다운로드
컨테이너 이미지 관리
쿠버네티스 컨테이너 이미지 관리 정보
Coverity 컨테이너 이미지
오픈소스 컨테이너 이미지
컨테이너 이미지 풀 시크릿 생성
컨테이너 이미지 및 레지스트리 키 준비
사전 구성된 컨테이너 이미지 키
imageRegistry 키
imagePullSecret 키
imagePullPolicy 헬름 키
자체 비공개 레지스트리에 위치한 컨테이너 이미지에서 컨테이너를 배포할 준비
나만의 비공개 Docker 레지스트리 생성
Black Duck 비공개 Docker 레지스트리에서 컨테이너 이미지를 가져오기
이미지 태그
비공개 Docker 레지스트리에 이미지 푸시
Black Duck 리포지토리에 위치한 컨테이너 이미지에서 컨테이너를 배포할 준비
인프라 및 구성
필수 소프트웨어 설치
액세스 권한
관리자 인증정보
쿠버네티스 클라이언트 사용자 권한
Scan Service 리소스를 관리하기 위한 Coverity 권한
VPC 생성
쿠버네티스 클러스터 생성
쿠버네티스 클러스터 노출
인그레스 컨트롤러 설치
쿠버네티스 네임스페이스 생성
쿠버네티스 로깅 구성
PostgreSQL 데이터베이스와 포드의 크기 조정, 생성, 관리
Connect(cim) 포드 리소스 크기 조정
스캔 서비스용 스토리지 버킷 만들기
Scan Service 저장소 버킷 크기
캐시 스토리지 버킷 생성 및 구성
Redis 설치 및 구성
Redis 및 Minio를 사용하여 온프레미스 또는 플랫폼별 배포가 아닌 배포를 지원하도록 헬름 키 구성
ARM64 지원 설정
ARM64 Thin Client 지원
ARM64 노드 풀 지정
AWS ARM64
Azure ARM64
GCP 인그레스 컨트롤러 테인트 및 톨러레이션
GCP ARM64 노드 풀
ARM64에 대한 GCP 테인트 및 톨러레이션
Amazon AWS 인프라 및 구성
Amazon AWS 계정 권한
AWS: 클라우드 관리자 역할 설정
AWS: AWS CLI, eksctl 및 kubectl 설치
AWS: Helm 설치
AWS: Docker 설치
AWS EKS 클러스터를 생성합니다
AWS: 인그레스 컨트롤러 설치
PostgreSQL 데이터베이스 생성
PostgreSQL 인증서 생성 및 Connect 트러스트 스토어에 추가
AWS: EKS 클러스터 IAM 정책 및 역할 생성
AWS: 스캔 작업 노드 풀 생성
AWS: S3 Express 버킷 생성
AWS: S3 Express 버킷 IAM 정책 생성
AWS: S3 스토리지 버킷 생성
cnc/topics/aws_create_ cache.html
AWS S3 스토리지 버킷 및 캐시 버킷 IAM 정책 지정
Storage Service 및 Cache Service에 대한 역할 기반 AWS Service 계정 사용
AWS ElastiCache 및 Redis 구성
Redis TLS CA 인증서 가져오기 및 신뢰 저장소 ConfigMap에 추가
AWS: Coverity 클라우드 배포 시크릿 및 ConfigMap 생성
S3 또는 S3 Express를 사용하여 AWS를 지원하도록 헬름 키 구성
AWS S3 헬름 키 구성
AWS S3 Express 헬름 키 구성
Google GCP 인프라 및 구성
Google GCP 관리자 권한/역할
GCP: gcloud CLI 설치 및 설정
GCP: kubectl 설치
GCP: Docker 설치
GCP: Helm 설치
GKE 클러스터 생성
사용자에게 클러스터 관리자 권한 부여
Kubeconfig에 인증정보 추가
GCP: 인그레스 컨트롤러 설치
Google Cloud SQL 데이터베이스 생성
Cloud SQL Server CA 인증서를 생성하여 신뢰 저장소 ConfigMap에 추가
SQL 사용자 추가
GCP: Coverity 클라우드 배포 시크릿 및 ConfigMap 생성
GCP: 스캔 작업 노드 풀 생성
스토리지 버킷 생성
캐시 버킷 생성
캐시 버킷에 대한 생명 주기 규칙 생성 및 설정
서비스 계정(SA) 생성
GCS 스토리지 버킷 및 캐시 버킷을 위한 SA 액세스 생성
Google Cloud SQL에 SA 액세스 권한 부여
IAM 서비스 계정 키 생성
Redis 인스턴스 생성
GCS를 사용하여 GCP를 지원하도록 헬름 키 구성
Microsoft Azure 인프라 및 구성
Microsoft Azure 관리자 권한/역할
Azure: Microsoft Azure CLI 설치
Azure: Helm 설치
Azure: Docker 설치
AKS 클러스터 생성
Azure에 kubectl 설치
Azure: 인그레스 컨트롤러 설치
Azure PostgreSQL 데이터베이스 생성
PostgreSQL 데이터베이스를 생성할 때 Azure 고려사항
쿠버네티스 컨테이너 권한 및 역할
Azure AKS: 스캔 작업 노드 풀 생성
스토리지 계정 생성(SA)
스토리지 게정 속성 표시
Azure 블랍 스토리지 컨테이너 생성
스토리지 Blob에 대한 Storage Service 액세스 구성
RBAC에 Azure 공유 키 클라이언트 시크릿 사용
RBAC 용 Azure Entra ID 클라이언트 시크릿 사용
캐시 컨테이너 생성
캐시 컨테이너에 대한 생명 주기 규칙 생성
Redis에 대한 Azure 캐시 구성
Azure: 스토리지 서비스 시크릿 및 ConfigMap 생성
Azure Blob을 사용하여 Azure를 지원하도록 헬름 키 구성
Red Hat OpenShift 인프라 및 구성
OpenShift 라우팅 - OpenShift 클러스터에서 Coverity 클라우드 인스턴스 노출하기
기존 인그레스 설정을 사용하여 자동 경로 생성 관리
cnc 헬름 차트를 사용하여 경로 생성 관리
OpenShift UI를 사용하여 경로 생성
OpenShift에서 MinIO로의 인그레스 경로 구성
고급 OpenShift 경로 고려 사항
OpenShift 경로 문제 해결
PostgreSQL 데이터베이스 및 PostgreSQL 포드
PostgreSQL 데이터베이스 생성
AWS: PostgreSQL 데이터베이스 생성
Azure: PostgreSQL 데이터베이스 생성
GCP: CloudSQL PostgreSQL 데이터베이스 생성
OpenShift: PostgreSQL 데이터베이스 생성
PostgreSQL 데이터베이스 인스턴스를 클라우드로 마이그레이션
마이그레이션 전제 조건
AWS: 데이터베이스 마이그레이션
Azure: 데이터베이스 마이그레이션
GCP: 데이터베이스 마이그레이션
Red Hat OpenShift: 데이터베이스 마이그레이션
외부 통합 확인
PostgreSQL 포드 리소스 크기 조정
PostgreSQL 포드 최소 리소스 요구 사항
PostgreSQL 포드 RAM 크기 조정
PostgreSQL 읽기 전용 복제본과 Pgpool을 사용하여 데이터베이스 로드의 균형 유지
PostgreSQL 데이터베이스 읽기 전용 복제본 아키텍처
PostgreSQL 데이터베이스 및 읽기 전용 복제본 배포 시기
PostgreSQL 데이터베이스 읽기 전용 복제본 설정
dbreadreplica-values.yaml 파일 생성하기
cim.pgpool 헬름 키 구성
데이터베이스 읽기 전용 복제본 배포하기
Connect PostgreSQL 데이터베이스 크기 및 무결성 관리하기
외부 Connect PostgreSQL 데이터베이스 정적 튜닝
튜닝 작업 yaml 파일 생성
static-tuning-write.yaml – 튜닝 쓰기 템플릿
static-tuning-suggest.yaml – 데이터베이스 정적 튜닝 제안 획득
이미지 속성
튜닝 쓰기에 대한 AWS RDS 속성
쓰기 튜닝을 위한 Azure Flexible Server 속성
튜닝 쓰기를 위한 GCP 클라우드 SQL 속성
쓰기 튜닝에 대한 기타 플랫폼 속성
하드웨어 리소스 속성
AWS RDS IsSSD 속성
Azure Flexible Server IsSSD 속성
GCP 클라우드 SQL IsSSD 속성
tuning-write용 인스턴스 식별자
CIM 속성 시크릿
SSL 설정 및 볼륨 마운트
데이터베이스 튜닝 작업 실행
로그 모니터링
데이터베이스 다시 시작
최적의 성능을 위해 Coverity Connect(cim) 포드 크기 조정
Coverity Connect(cim) 포드 최소 리소스 요구 사항
커밋을 사용한 cim 포드 CPU 및 메모리 스케일링
중형 IDIR(2.6GB)
대형 IDIR(12GB)
초대형 IDIR(36GB)
커밋 고려사항
커밋 데이터는 어떻게 수집되었나요?
보기 로딩을 사용하여 cim 포드 CPU 및 메모리 스케일링
중형 프로젝트(10K 문제)
대형 프로젝트(최대 25,000개 문제)
초대형 프로젝트(50K 문제)
보기 로딩 고려사항
보기 로딩 - 데이터가 어떻게 수집되었는가?
TLS 인증서, 키 저장소, 시크릿 생성
Connect TLS 인증서 생성
인증 기관에서 서명한 Coverity Connect TLS 인증서 생성
Redis에 대한 캐시 서비스 CA 인증서 비밀 생성
Connect UI 서버 키 저장소 생성
쿠버네티스 인그레스 TLS 시크릿 생성
Connect 라이선스 비밀 생성
컨테이너 이미지 풀 시크릿 생성
스캔 도구 동기화 시크릿 만들기
PostgreSQL 액세스를 위한 시크릿 생성
Connect 웹 애플리케이션 관리자 비밀번호 시크릿 만들기
Scan Service 라이선스 시크릿 생성
MinIO 스토리지 유형에 대한 시크릿 생성
AWS 스토리지 서비스 시크릿 생성
Azure 서비스 계정 시크릿 생성
Azure 캐시 서비스 비밀 생성
GCS 서비스 계정 비밀 생성
TLS를 통한 Connect 통신을 위한 신뢰 저장소 ConfigMap 생성
Connect 인스턴스를 위한 신뢰 저장소 ConfigMap 생성
AWS: 인증서 다운로드 및 신뢰 저장소 ConfigMap 생성
Coverity Connect 트러스트 스토어에 SMTP 인증서 추가
cnc 차트 및 scan-services 하위 차트 작업
cnc 차트 및 scan-services 하위 차트 정보
cnc 헬름 차트와 Chart.yaml 파일
Scan-services 헬름 하위 차트
전역 헬름 키 값
예: 전역 값
예: Connect 전용 배포
예: Connect 및 Scan Service 배포
헬름 차트 값 보기
Coverity 배포를 위한 헬름 키 준비
포드 및 컨테이너 보안 컨텍스트 구성
Connect 인스턴스를 위한 헬름 재정의 준비
쿠버네티스 배포 활성화
Connect 활성화
Connect 라이선스 비밀의 이름 지정
인그레스 키 지정
nginxConfig 헬름 키 작업
commit 포트 열어서 노출하기
트러스트 스토어 활성화
Connect 웹 애플리케이션 TLS 키 저장소 구성
Connect 웹 앱 고가용성 구성
Connect 전용 배포에 대한 scan-services 헬름 하위 차트 비활성화
cim.cimweb 헬름 키 준비
Coverity Connect 웹 URL 지정
cim.cimweb.adminPasswordSecret 헬름 키를 설정합니다.
컨텍스트 경로 지정
환경 변수
Coverity Connect 속성
Java 옵션
PostgreSQL 데이터베이스 액세스 인증정보 생성
시크릿을 사용하여 PostgreSQL 인증정보 지정
Helm 차트에서 PostgreSQL 인증정보 지정
PostgreSQL sslmode 선택 및 TLS용 PostgreSQL 루트 인증서 찾기
OpenShift 헬름 재정의 생성
이미지 버전 및 OpenShift 유형 지정
프로젝트 생성
헬름 재정의를 통한 Coverity 메트릭 활성화
로깅 레벨 지정
Scan Service 설치를 위해 헬름 재정의 생성
Scan-services 헬름 하위 차트 활성화
라이선스 작업 활성화
Scan Service 라이선스 시크릿의 이름 지정
헬름 키를 설정하여 스캔 도구 동기화 활성화
Scan Service 저장소 보유 기간 설정
스토리지에 아티팩트 업로드 관리
Storage Service 헬름 키
MinIO 스토리지 유형 헬름 키 설정
스토리지 서비스 사용자 정의 도메인
Dell ECS 스토리지 지원 구성
Red Hat OpenShift 저장소 구성
Scan Service 및 Storage Service 데이터베이스용 postgres 헬름 키 구성
GCP에 클라우드 SQL 프록시 네이티브 사이드카 컨테이너 연결
파드 내에 초기화 컨테이너 추가
pod에 추가 볼륨 마운트
pod에 GCP 클라우드 SQL 프록시를 네이티브 사이드카로 연결
Scan Service 캐싱
캐시 서비스 키
레디니스 프로브 키
라이브니스 프로브 키
캐시 애너테이션 키
캐시 서비스용 AWS 키
Azure 키
GCP 키
MinIO 캐시 헬름 키
Redis 키
TLS 포워드 프록시 구성
TLS 프록시
mTLS 프록시
안전하지 않은 TLS 프록시
포드 및 컨테이너 보안 구성
포드 및 컨테이너 보안 컨텍스트 헬름 키
보안 컨텍스트 제약 조건
containerSecurityContext 및 스캔 작업
automountServiceAccountToken 헬름 키
Connect SA 관리 사용자 토큰 생성
스캔 작업 노드 풀 생성 및 스캔 작업 예약
개요: 자체 노드에서 각 스캔 작업 예약
개요: 단일 노드에 여러 스캔 작업을 동시에 예약
Scan Service 및 Storage Service 요건
스캔 작업 노드 풀 크기
스캔 작업 노드 풀 생성
노드 오토스케일러를 사용하여 노드 크기를 조정하고 수요 충족
노드 당 단일 스캔 작업 및 다중 스캔 작업 활성화
여러 노드 풀에 대해 노드 당 하나의 스캔 작업 구성
단일 노드 풀에 대해 노드 당 여러 스캔 작업 구성
테인트 및 톨러레이션
노드 당 단일 대 다중 스캔 작업 및 다중 스캔 작업 간 전환
Scan Service를 위한 onPrem OCI Redis 및 MinIO 설정
OCI 기반 레지스트리
선택적으로 글로벌 컨테이너 이미지 레지스트리 생성 및 사용
cnc/Chart.yaml의 Redis 및 MinIO 종속성
OCI Redis 및 MinIO 활성화
MinIO PersistentVolumeClaim(PVC) 크기
AWS: EBS 영구 저장소를 MinIO PVC로 사용
onPrem Redis 및 MinIO가 포함된 CNC 차트 릴리스 설치
AWS: Load Balancer Controller
AWS: AWS Load Balancer Controller 서비스 계정용 IAM 정책 생성
AWS: aws-load-balancer-controller 차트 및 태그 서브넷 설치
AWS: 헬름 재정의 및 주석
AWS: CNAME 인그레스 인증서 생성
GCP: GCE 컨테이너 네이티브 로드 밸런서 구성
전체 분석 키트를 구축하고 배포 중에 키트를 Connect에 자동으로 업로드
Connet 웹 애플리케이션 고가용성
Connet 웹 애플리케이션 HA 성능
고가용성 설정 및 관리
cimweb 포드 복제본 관리
Commit-server 포드를 사용하여 커밋 성능 대 처리량 최적화
선호도를 사용하여 노드에 포드 배포
Coverity Connect 웹 애플리케이션 재배포
웹 애플리케이션 포드 실패 시나리오
Coverity Connect 웹 애플리케이션 HA의 알려진 문제
배포용 차트 릴리스 설치
helm install 명령 사용
헬름 차트 검증 및 오류 로깅
단일 Coverity 인스턴스의 차트 릴리스 설치
설치 후 또는 업그레이드 작업
Connect UI 액세스
Coverity Connect 라이선스 업로드
SAML 구성
LDAP 구성
Jira 구성
버그질라 인증서 추가
커베로스 구성
Coverity 클라우드 배포 확인
Connect UI에서 지원되는 Coverity 도구 및 Thin Client 버전 관리
Connect UI에 Coverity 도구 아티팩트 업로드
사용 가능한 Coverity 도구 창
Coverity 도구 기본 버전 및 CI/CD 파이프라인
CI/CD 파이프라인에 대한 기본 Coverity 도구 버전 설정
CI/CD 파이프라인에 대한 기본 Coverity 도구 버전 설정 해제
CI/CD 파이프라인에 대한 기본 Coverity 도구 버전 변경
Coverity 도구 버전 보관
Coverity 도구 버전 삭제
클라이언트 소프트웨어 설치
클라이언트 시스템에 Coverity Thin Client 설치
클라이언트 시스템에 전체 Coverity Analysis 클라이언트 설치
Black Duck Bridge CLI를 사용하여 Thin Client 분석을 파이프라인에 통합
다음 단계는 무엇입니까? 분석 준비 및 수행
Connect 웹 애플리케이션 관리자 비밀번호 관리
Connect 웹 애플리케이션 관리자 비밀번호 요건
Connect 웹 애플리케이션 관리자 비밀번호 시크릿 만들기
cim.cimweb.adminPasswordSecret 헬름 키를 설정합니다.
Connect 웹 애플리케이션 관리자 비밀번호 수동으로 변경
메트릭
메트릭 사용 가능한 헬름 키 설정
데이터 수집 및 모니터링 소프트웨어에 메트릭 노출
스크래핑에 대한 주석을 추가하는 헬름 키 설정
메트릭 표시 설정
Coverity Connect 메트릭 예시
일부 메트릭에 대한 이벤트 로그 활성화
Coverity 클라우드 배포의 Connect 애플리케이션 메트릭
메트릭 관리 및 해석
성능 메트릭
커밋 메트릭
보기 로딩 메트릭
API 메트릭
데이터베이스 메트릭
Scan Service 메트릭
Storage Service 메트릭
백업 및 골조화 메트릭
스트림 잠금 메트릭
Redis 캐시 메트릭
소프트웨어 분석 메트릭
Kubernetes 메트릭
로그 보존 및 분석을 통해 근본적인 문제 발견
Connect UI 시스템 합계 목록
Coverity 클라우드 배포 관리
Connect 관리 절차
Coverity Connect: Connect 구성 가져오기
연결성 - kubectl 연결 확인
헬름 - 단일 헬름 릴리스에 대한 세부 상태 가져오기
헬름 - 실패한 헬름 릴리스 찾기
쿠버네티스 - 노드 상태 확인
쿠버네티스 - 목록 이벤트
로그 - 터미널 로그 검사
파드 - 설명 포드
포드 - 모든 포드 나열
Pod - 파드에서 로그 가져오기
Coverity 클라우드 배포 업그레이드
Coverity 업그레이드 준비
업그레이드 수행
업그레이드 후 완료할 작업
업그레이드 고려사항
2025.12로 업그레이드
2025.9.2으로 업그레이드
마이그레이션된 Bitnami 레지스트리 작업
2025.9로 업그레이드
2025.6.2으로 업그레이드
2025.6로 업그레이드
2025.3.1으로 업그레이드
2025.3로 업그레이드
2024.12로 업그레이드
2024.9.1으로 업그레이드
2024.9.0으로 업그레이드
2024.6로 업그레이드
2024.3로 업그레이드
2023.12.2으로 업그레이드
2023.12.0으로 업그레이드
2023.12.0으로 업그레이드 Thin Client 상위 호환성
2023.12.0의 헬름 키 변경사항
2023.9으로 업그레이드
2023.9.2 헬름 키 제거
2023.9.0 헬름 키 추가
2023.6으로 업그레이드
2023.6.1 헬름 키 값 변경
2023.6.0 헬름 키 추가, 이름 변경 및 제거
2023.3으로 업그레이드
2023.3 헬름 키 추가, 이름 변경 및 제거
Coverity 클라우드 배포 제거
문제 해결 가이드
Coverity CLI를 사용하여 스캔 아티팩트 다운로드
Connect API를 사용하여 스캔 로그 다운로드
포드 로그에서 오류 검사
만료되었거나 노드락 라이선스
데이터베이스 연결 디버깅
볼륨 문제
암호 또는 컨피그맵 누락
인그레스: SAML URL은 https 대신 http를 사용합니다.
인그레스 헤더: Google GCP용 인그레스 주석 생성
인그레스 헤더: NGINX용 X-Forwarded-proto 설정
인그레스 목록 및 확인
NGINX HTTP 오류 413: 엔터티가 너무 큰 요청
NGINX HTTP 오류 504: 게이트웨이 시간 초과
이미지 풀 문제
파드가 스케줄에 실패함
cim-tools 포드 없음
읽기 전용 파일 시스템 오류
Coverity 클라우드 지원
타사 소프트웨어 및 플랫폼 지원 매트릭스
Coverity 클라이언트 지원 매트릭스
지원되는 Coverity 도구(Thin Client) 및 전체 분석 클라이언트 버전
Coverity 도구(Thin Client) 및 전체 분석 클라이언트에 대한 Coverity의 과거 지원 내역
Docker 기본 이미지
포트
Scan Service 저장소 지원
포드 및 컨테이너 보안 컨텍스트 지원
Coverity 클라우드 배포용 헬름 차트 키
전역 헬름 키
루트 헬름 키
cnc 헬름 차트: 헬름 키
scan-services 헬름 하위 차트: 헬름 키
Coverity 클라우드 배포의 Coverity 도구
Coverity 클라우드 배포에서 지원되지 않는 Coverity cov-admin-db 도구
/data 영구 볼륨 생성 및 마운트
데이터베이스 무결성 확인: check-integrity.sh
Coverity Connect 비밀번호 재설정: reset-admin-password.sh
아카이브 관리: cov-archive.sh
Coverity Connect 관리: cov-manage-im
모든 체커
SpotBugs™ 체커 참조서
SpotBugs 라이브러리 소개
SpotBugs 체커
보안 체커
Coverity 릴리스 노트 및 업그레이드 고려 사항
Coverity 최신 릴리스 노트
Coverity 2025.12.x
Coverity 2025.12.2 릴리스 노트
Coverity 2025.12.1 릴리스 노트
Coverity 2025.12.0 릴리스 노트
PostgreSQL 지원되는 버전
릴리스 노트 아카이브
Coverity 2025.9.x
Coverity 2025.9.2 릴리스 노트
Coverity 2025.9.1 릴리스 노트
Coverity 2025.9.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 2025.6.x
Coverity 2025.6.2 릴리스 노트
Coverity 2025.6.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 2025.3.x
Coverity 2025.3.1 릴리스 노트
Coverity 2025.3.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 2024.12.x
Coverity 2024.12.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 2024.9.x
Coverity 2024.9.1 릴리스 노트
Coverity 2024.9.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 2024.6.x
Coverity 2024.6.1 릴리스 노트
Coverity 2024.6.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 2024.3.x
Coverity 2024.3.2 릴리스 노트
Coverity 2024.3.1 릴리스 노트
Coverity 2024.3.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 2023.12.x
Coverity 2023.12.3 릴리스 노트
Coverity 2023.12.2 릴리스 노트
Coverity 2023.12.1 릴리스 노트
Coverity 2023.12.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 2023.9.x
Coverity 2023.9.3 릴리스 노트
Coverity 2023.9.2 릴리스 노트
Coverity 2023.9.1 릴리스 노트
Coverity 2023.9.0 릴리스 노트
PostgreSQL 지원되는 버전
Coverity 업그레이드 고려 사항
업그레이드 관련 주요 고려사항
2025.12에 관한 업그레이드 고려 사항
2025.9에 관한 업그레이드 고려 사항
2025.6에 관한 업그레이드 고려 사항
2025.3에 관한 업그레이드 고려 사항
Coverity Analysis 2025.3를 실행할 때 Sigma에서 비활성화된 체커
2024.12에 관한 업그레이드 고려 사항
Coverity Analysis
Coverity Analysis 체커가 2024.12.0의 Sigma 확인으로 대체됨
Coverity Connect
Coverity Point 및 Scan
2024.9에 관한 업그레이드 고려 사항
Coverity Analysis 체커가 2024.9.1의 Sigma 확인으로 대체됨
Coverity Analysis 체커가 2024.9.0의 Sigma 확인으로 대체됨
2024.6에 관한 업그레이드 고려 사항
Bazel 통합 메서드 변경
선별 정보 손실 가능성
Coverity Analysis 체커가 Sigma 확인으로 대체됨
2024.3에 관한 업그레이드 고려 사항
Bazel로 빌드한 프로젝트에서 내보낸 파일 경로 변경
2023.12에 관한 업그레이드 고려 사항
2023.9에 관한 업그레이드 고려 사항
Coverity Analysis를 실행할 때 Sigma 확인이 다시 활성화됨
빌드리스 캡처
Coverity Analysis 체커가 Sigma 확인으로 대체됨
Coverity Analysis 체커 제거
2023.6에 관한 업그레이드 고려사항
C++ 스타일 주석 변환
Coverity Analysis를 실행할 때 Sigma에서 비활성화된 체커
2023.3에 관한 업그레이드 고려 사항
업데이트된 소프트 락아웃 정책
Coverity Analysis 체커가 Sigma 체커로 대체됨
Coverity Analysis를 실행할 때 Sigma에서 비활성화된 체커
2022.12에 관한 업그레이드 고려 사항
Coverity Analysis 체커가 Sigma 체커로 대체됨
Coverity Analysis를 실행할 때 Sigma에서 비활성화된 체커
2022.9에 관한 업그레이드 고려 사항
Coverity Analysis 체커가 Sigma 체커로 대체됨
Coverity Analysis를 실행할 때 Sigma에서 비활성화된 체커
2022.6에 관한 업그레이드 고려 사항
Coverity Analysis 체커가 Sigma 체커로 대체됨
Coverity Analysis를 실행할 때 Sigma에서 비활성화된 체커
2022.3에 관한 업그레이드 고려 사항
Coverity Analysis
Coverity Analysis 체커가 Sigma 체커로 대체됨
Coverity Analysis를 실행할 때 Sigma에서 비활성화된 체커
2021.12에 관한 업그레이드 고려 사항
Coverity Analysis
Coverity Analysis 체커가 Sigma 체커로 대체됨
Coverity Analysis를 실행할 때 Sigma에서 비활성화된 체커
2021.9에 관한 업그레이드 고려 사항
Coverity Analysis
빌드리스 캡처
Sigma 체커 도입; 레거시 체커 퇴거
Sigma Analysis 엔진 플랫폼 요건
결과 및 완화
대체된 Swift 체커
제거된 Swift 체커
대체된 Java, JavaScript, TypeScript 체커
Swift 코드 분석에 관한 변경 사항
2021.06에 관한 업그레이드 고려 사항
Coverity Analysis
빌드리스 캡처
2021.03에 관한 업그레이드 고려 사항
2020.12에 관한 업그레이드 고려 사항
2020.09에 관한 업그레이드 고려 사항
2020.06에 관한 업그레이드 고려 사항
2020.03에 관한 업그레이드 고려 사항
Coverity Connect
2019.12에 관한 업그레이드 고려 사항
Coverity Analysis
node_modules에서 번역 단위 분석
빌드리스 캡처
Crossworks MSP430 지원 변경
Coverity Desktop
IBM RTC 플러그인 업데이트
2019.09에 관한 업그레이드 고려 사항
2019.06에 관한 업그레이드 고려 사항
2019.03에 관한 업그레이드 고려 사항
2018.12에 관한 업그레이드 고려 사항
Coverity Analysis
2018.09에 관한 업그레이드 고려 사항
폐지 예정 고지
지원 종료(EOL) 고지
Coverity Platform
Coverity Analysis
Coverity Desktop
2018.06에 관한 업그레이드 고려 사항
폐지 예정 고지
지원 종료(EOL) 고지
Coverity Platform
Coverity Analysis
115851 FlexNet 라이브러리 및 lgmrd v11.15.0+
Coverity Desktop
Coverity Connect Web Services API 릴리스 및 폐지 예정
Coverity 용어 해설
법적 고지
Black Duck 포용성 및 다양성에 관한 표명

Back to home page