이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Check configuration parameters for secure coding standards (보안 코딩 표준에 대한 구성 파라미터 검사)
검사 ID: mathworks.security.CodeGenSettings
보안 코딩 표준 준수에 영향을 줄 수 있는 구성 파라미터를 식별합니다.
설명
이 검사의 권장 사항을 따르면 CERT C, CWE, ISO/IEC TS 17961 보안 코딩 표준을 준수하는 코드를 생성할 가능성이 높아집니다.
Embedded Coder® 및 Simulink® Check™와 함께 사용 가능합니다.
결과 및 권장 조치
| 상태 | 권장 조치 |
|---|---|
| 진단 | |
구성 파라미터 Inf 또는 NaN 블록 출력가 구성 파라미터 Inf 또는 NaN 블록 출력는 | non-finite 숫자 지원이:
|
구성 파라미터 Model Verification 블록 활성화가 로컬 설정 사용 또는 Enable All로 설정되어 있습니다. | Model Verification 블록 활성화를 모두 사용 안 함로 설정합니다. |
구성 파라미터 무방향 이벤트 브로드캐스트가 none 또는 경고로 설정되어 있습니다. | 무방향 이벤트 브로드캐스트를 오류로 설정합니다. |
구성 파라미터 오버플로 시 래핑가 none로 설정되어 있습니다. | 오버플로 시 래핑를 경고 또는 오류로 설정합니다. |
| 하드웨어 구현 | |
구성 파라미터 프로덕션 하드웨어에서 부호 있는 정수 나눗셈의 반올림 방식가 정의되지 않음로 설정되어 있습니다. | 프로덕션 하드웨어에서 부호 있는 정수 나눗셈의 반올림 방식를 Zero 또는 Floor로 설정합니다. |
| 구성 파라미터 산술 시프트로 부호 있는 정수에 대한 오른쪽 시프트 수행가 선택되어 있습니다. | 산술 시프트로 부호 있는 정수에 대한 오른쪽 시프트 수행 선택을 해제합니다. |
| 시뮬레이션 타깃 | |
구성 파라미터 MATLAB 함수에 대한 컴파일타임 재귀 제한가 0가 아닌 다른 값으로 설정되어 있습니다. | MATLAB 함수에 대한 컴파일타임 재귀 제한를 0로 설정합니다. |
| 구성 파라미터 MATLAB 함수의 동적 메모리 할당가 선택되어 있습니다. | MATLAB 함수의 동적 메모리 할당 선택을 해제합니다. |
| 구성 파라미터 MATLAB 함수에 대한 런타임 재귀 활성화가 선택되어 있습니다. | MATLAB 함수에 대한 런타임 재귀 활성화 선택을 해제합니다. |
| 코드 생성 | |
구성 파라미터 코드 대체 라이브러리가 None 또는 AUTOSAR 4.0로 설정되지 않았습니다. | 코드 대체 라이브러리를 None 또는 AUTOSAR 4.0로 설정합니다. |
| 구성 파라미터 외부 모드가 선택되어 있습니다. | 외부 모드 선택을 해제합니다. |
구성 파라미터 주석 포함 선택이 해제되어 있습니다. | 주석 포함를 선택합니다. |
| 구성 파라미터 MAT 파일 기록가 선택되어 있습니다. | MAT 파일 기록 선택을 해제합니다. |
| ERT 기반 타깃 시스템의 경우 구성 파라미터 MATLAB 사용자 주석가 선택이 해제되어 있습니다. | MATLAB 사용자 주석를 선택합니다. |
| 구성 파라미터 2의 거듭제곱이 곱해지는 연산을 부호 있는 비트 단위 시프트로 바꾸기가 선택되어 있습니다. | 2의 거듭제곱이 곱해지는 연산을 부호 있는 비트 단위 시프트로 바꾸기 선택을 해제합니다. |
| ERT 기반 타깃 시스템의 경우 구성 파라미터 연속시간 지원가 선택되어 있습니다. | 연속시간 지원 선택을 해제합니다. |
| ERT 기반 타깃 시스템의 경우 구성 파라미터 인라인이 아닌 S-Function 지원가 선택되어 있습니다. | 인라인이 아닌 S-Function 지원 선택을 해제합니다. |
| 구성 파라미터 시스템 타깃 파일가 GRT 기반 타깃으로 설정되었습니다. | 시스템 타깃 파일를 ERT 기반 타깃으로 설정합니다. |
| 구성 파라미터 모델 초기화용 동적 메모리 할당 사용가 선택되어 있습니다. | 모델 초기화용 동적 메모리 할당 사용 선택을 해제합니다. 참고 코드 인터페이스 패키징가 |
조치 결과
모두 수정를 클릭하면 파라미터 값이 권장 값으로 변경됩니다.
참고
GRT 기반 타깃이 있는 모델에 대해 모두 수정를 클릭하면 모델 어드바이저는 시스템 타깃 파일 구성 파라미터를 ERT 기반 시스템으로 업데이트하지 않습니다.
파라미터 하위 검사는 결과 표에 D로 표시된 파라미터의 결과에 따라 달라집니다. 결과가 D-경고인 경우, 결과 표의 현재 값 열은 하위 검사에 대해 필수 조건 제약 조건이 충족되지 않음을 나타냅니다. 파라미터를 변경한 후 검사를 다시 실행하세요.
참고
일부 하위 검사는 ERT 기반 시스템의 구성 파라미터에만 적용됩니다. 모델을 ERT 기반 시스템으로 변경하지 않는 한, 모두 수정를 클릭해도 이러한 파라미터는 업데이트되지 않습니다.
참고 항목
MISRA C (Embedded Coder)
