[ISO/SAE 21434 3강(실무)] 소프트웨어 보안 코딩 실습: 안전한 언어 / 메모리 관리 / 형식 안전

---

Title: ISO/SAE 21434 중급 강좌 3강 – 소프트웨어 보안 코딩 실습: 안전한 언어, 메모리 관리, 형식 안전
Description: ISO/SAE 21434 중급 강좌 3강에서는 안전한 언어 선택, 메모리 관리, 형식 안전에 초점을 맞춰 MISRA-C/C++와 CERT 가이드라인 실무 적용 및 정적 분석 도구를 통한 코드 품질 향상을 실습합니다.
Keywords: ISO/SAE 21434, 보안 코딩, MISRA C, CERT, 정적 분석, 메모리 안전, 자동차 소프트웨어, 코드 리뷰

---

🧠 ISO/SAE 21434 중급 강좌 3강

소프트웨어 보안 코딩 실습: 안전한 언어 / 메모리 관리 / 형식 안전

자동차용 소프트웨어의 보안은 단순히 암호화로 끝나지 않습니다. 🧩
코드 한 줄의 메모리 접근 오류, 형 변환 실수, 잘못된 포인터 연산이 차량의 제어 시스템 전체를 흔들 수 있습니다.
이번 강의에서는 MISRA-C/C++, CERT 보안 코딩 표준, 정적 분석(Static Analysis)을 활용한 안전한 코드 작성 실무를 다룹니다.

---

1. 안전한 언어 선택과 가이드라인 적용 🚗

자동차 소프트웨어는 대부분 C/C++로 작성됩니다.
하지만 이 언어들은 메모리 접근 제약이 약하고 포인터 연산이 자유로워, 보안 결함의 근원이 되기도 합니다.

✅ 실무 포인트

• MISRA-C:2012와 MISRA-C++:2023은 자동차 업계의 사실상 표준입니다.
• CERT C Coding Standard는 보안 중심 접근으로, MISRA와 상호보완 관계에 있습니다.
• Python, Rust 같은 안전 언어는 테스트/시뮬레이션 레벨에서 점차 활용 중입니다. (예: HIL 시뮬레이터, OTA 서버 스크립트)

📘 MISRA-C:2012 Guidelines for the use of the C language in critical systems,
CERT C Secure Coding Standard (Carnegie Mellon University)

---

2. 메모리 관리와 형식 안전 🧩

메모리 오류는 전체 시스템 보안을 위협하는 주요 원인입니다.
특히 Use-After-Free, Buffer Overflow, Dangling Pointer는 자동차 ECU에서도 빈번히 문제로 지적됩니다.

🔍 실무 예제 코드

// ❌ 위험한 코드
void copy_str(char *src) {
    char buf[8];
    strcpy(buf, src); // 버퍼 오버플로우 위험!
}

// ✅ 안전한 코드 (MISRA-C 적용)
void copy_str(const char *src) {
    char buf[8];
    strncpy(buf, src, sizeof(buf) - 1);
    buf[sizeof(buf) - 1] = '\0';
}

 

→ 핵심 포인트: 항상 버퍼 크기를 명시하고, 문자열 복사 시 NULL 종료를 보장해야 합니다.

---

3. 정적 분석 도구와 코드 리뷰 워크플로우 🔍

정적 분석 도구는 코드 실행 전 잠재적 결함을 자동 탐지합니다.
자동차 분야에서는 다음과 같은 도구들이 주로 사용됩니다.

 

도구	주요 기능	비고
Polyspace	MISRA 위반, 런타임 오류 검출	OEM/Tier1 다수 사용
Coverity	CERT/MISRA 룰셋 적용, 보안 취약점 탐지	CI/CD 통합 용이
Clang Static Analyzer	오픈소스 기반, 가벼운 분석	내부 툴 체인 연동 적합

🧑‍💻 코드 리뷰 프로세스 (예시)

1. 정적 분석 수행 → MISRA/CERT 위반 리포트 생성
2. 리뷰어 검토 및 예외(Deviation) 승인 절차
3. 수정 코드 재검증 → Git Merge 승인

🚀 실무 팁: 정적 분석과 리뷰는 “형식적 절차”가 아니라, 사이버보안 위험을 예방하는 선제적 방어선입니다.

 

---

4. 실습 예제 🧪

이번 강의의 실습 과제는 다음과 같습니다.

주제: 소프트웨어 보안 코딩 실습 – 안전한 언어 / 메모리 관리 / 형식 안전

실습 목표:

• MISRA-C 가이드라인 적용 코드 작성
• Buffer Overflow 및 Memory Leak 탐지 실습
• 정적 분석 도구를 통한 코드 검증

체크리스트:

• MISRA 위반 항목 식별 및 수정
• strcpy → strncpy 교체 검증
• NULL 포인터 접근 방지 코드 적용
• Polyspace/Clang Analyzer 리포트 리뷰

 

---

5. OEM / Tier1 / Tier2 관점 정리 🏗️

구분	역할	주요 보안 코딩 포인트
OEM	전체 소프트웨어 개발 정책 수립	MISRA/CERT Rule 적용 여부 심사
Tier1	ECU 및 애플리케이션 코드 개발	정적 분석 도구 운영 및 결과 리포팅
Tier2	드라이버/펌웨어, 칩셋 SDK 수준	저수준 메모리 접근 및 형식 안전 관리

 

👉 OEM은 정책을 정의하고,

      Tier1은 관리하며,

      Tier2는 구현의 품질을 보증합니다.

---

📘 핵심 정리

• MISRA-C/C++, CERT 표준은 자동차 소프트웨어 보안 코딩의 기본입니다.
• 메모리 관리와 형식 안전성 확보는 사이버보안의 첫 단추입니다.
• 정적 분석 도구 + 코드 리뷰는 필수 품질 게이트입니다.
• OEM/Tier1/Tier2는 보안 코딩 책임의 깊이와 범위가 다르며 상호 보완적입니다.

---

👉 다음 강의 예고: 통신 보호 및 암호화 기술 실습 🔐