Main Content

이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

보안 코딩 표준에 대한 구성 매개변수를 확인하세요.

검사 ID: mathworks.security.CodeGenSettings

보안 코딩 표준 준수에 영향을 미칠 수 있는 구성 매개변수를 식별합니다.

설명

이 검사의 권장 사항을 따르면 CERT C, CWE, ISO/IEC TS 17961 보안 코딩 표준을 준수하는 코드를 생성할 가능성이 높아집니다.

Embedded Coder® 및 Simulink® Check™로 제공됩니다.

결과 및 권장 조치

상태권장 조치
진단

구성 매개변수 Inf 또는 NaN 블록 출력:은 안 함 또는 오류로 설정되고 유한하지 않은 숫자 지원는 켜기로 설정됩니다.

구성 매개변수 Inf 또는 NaN 블록 출력:은 안 함로 설정되고 유한하지 않은 숫자 지원는 끄기로 설정됩니다.

유한하지 않은 숫자 지원가 다음과 같은 경우:

  • 켜기, Inf 또는 NaN 블록 출력:를 경고로 설정합니다.

  • 끄기, Inf 또는 NaN 블록 출력:를 경고 또는 오류로 설정합니다.

구성 매개변수 Model Verification 블록 활성화:은 로컬 설정 사용 또는 모두 활성화로 설정됩니다.Model Verification 블록 활성화:을 모두 사용 안 함로 설정합니다.
구성 매개변수 무방향 이벤트 브로드캐스트:는 안 함 또는 경고로 설정됩니다.무방향 이벤트 브로드캐스트:를 오류로 설정합니다.
구성 매개변수 오버플로 시 래핑:는 안 함로 설정됩니다.오버플로 시 래핑:을 경고 또는 오류로 설정합니다.
하드웨어 구현
구성 매개변수 프로덕션 하드웨어에서 부호 있는 정수 나눗셈의 반올림 방식:는 정의되지 않음로 설정됩니다.프로덕션 하드웨어에서 부호 있는 정수 나눗셈의 반올림 방식:을 0(영) 또는 내림로 설정합니다.
구성 매개변수 산술 시프트로 부호 있는 정수에 대한 오른쪽 시프트 수행가 선택되었습니다.산술 시프트로 부호 있는 정수에 대한 오른쪽 시프트 수행를 삭제하세요.
시뮬레이션 타깃
구성 매개변수 MATLAB 함수에 대한 컴파일타임 재귀 제한:이 0 이외의 값으로 설정되었습니다.MATLAB 함수에 대한 컴파일타임 재귀 제한:을 0로 설정합니다.
구성 매개변수 MATLAB 함수의 동적 메모리 할당가 선택되었습니다.MATLAB 함수의 동적 메모리 할당을 삭제합니다.
구성 매개변수 MATLAB 함수에 대한 런타임 재귀 활성화가 선택되었습니다.MATLAB 함수에 대한 런타임 재귀 활성화를 삭제합니다.
코드 생성
구성 매개변수 코드 대체 라이브러리이 안 함 또는 AUTOSAR 4.0로 설정되지 않았습니다.코드 대체 라이브러리을 안 함 또는 AUTOSAR 4.0로 설정합니다.
구성 매개변수 외부 모드가 선택되었습니다.외부 모드을 삭제하세요.

구성 매개변수 주석 포함가 지워졌습니다.

주석 포함를 선택합니다.
구성 매개변수 MAT 파일 기록가 선택되었습니다.MAT 파일 기록를 삭제하세요.
ERT 기반 대상 시스템의 경우 구성 매개변수 MATLAB 사용자 주석가 지워집니다.MATLAB 사용자 주석를 선택합니다.
구성 매개변수 2의 거듭제곱이 곱해지는 연산을 부호 있는 비트 단위 시프트로 바꾸기가 선택되었습니다.2의 거듭제곱이 곱해지는 연산을 부호 있는 비트 단위 시프트로 바꾸기를 삭제하세요.
ERT 기반 대상 시스템의 경우 구성 매개변수 연속시간 지원가 선택됩니다. 연속시간 지원을 삭제합니다.
ERT 기반 대상 시스템의 경우 구성 매개변수 인라인이 아닌 S-Function 지원가 선택됩니다. 인라인이 아닌 S-Function 지원를 삭제하세요.
구성 매개변수 시스템 타깃 파일는 GRT 기반 대상으로 설정됩니다.시스템 타깃 파일를 ERT 기반 대상으로 설정합니다.
구성 매개변수 모델 초기화용 동적 메모리 할당 사용가 선택되었습니다.모델 초기화용 동적 메모리 할당 사용를 삭제하세요.

참고

코드 인터페이스 패키징이 재사용 가능 함수로 설정된 경우에만 선택하세요.

조치 결과

모두 수정을 클릭하면 매개변수 값이 권장 값으로 변경됩니다.

참고

GRT 기반 대상이 있는 모델에 대해 모두 수정을 클릭하면 Model Advisor는 시스템 타깃 파일 구성 매개변수를 ERT 기반 시스템으로 업데이트하지 않습니다.

매개변수 하위 검사는 결과 테이블에 D로 표시된 매개변수의 결과에 따라 달라집니다. 결과가 "D-Warning"이면 결과 테이블의 현재 값 열에 하위 검사에 대한 "전제 조건 제약 조건이 충족되지 않음"이라고 표시됩니다. 매개변수를 변경한 후 검사를 다시 실행하십시오.

참고

일부 하위 검사는 ERT 기반 시스템의 구성 매개변수에만 적용됩니다. 모델을 ERT 기반 시스템으로 변경하지 않는 한 모두 수정을 클릭해도 이러한 매개변수는 업데이트되지 않습니다.

참조:

MISRA C (Embedded Coder)