AUTO-12
🧱 안전핵심 코드 MISRA C 위반
자동차 보안 · 소프트웨어·OTA
위험도: 중💡 쉽게 말하면
MISRA 위반은 비행기 부품을 통조림 따개로 조이는 것과 같습니다. 돌아가긴 하지만, 어디서 어떻게 무너질지 아무도 보장하지 못합니다.
MISRA 위반은 비행기 부품을 통조림 따개로 조이는 것과 같습니다. 돌아가긴 하지만, 어디서 어떻게 무너질지 아무도 보장하지 못합니다.
🎯 직접 해보기 — 공격을 실행해 보세요
아래에서 시스템 상태를 취약 또는 안전(조치 적용)으로 바꾼 뒤 공격 실행을 눌러, 같은 공격이 어떻게 다르게 끝나는지 직접 확인하세요.
# 정적 분석으로 안전핵심 코드를 점검해 본다
# [공격 실행] 버튼을 누르면 시작합니다.
📋 설정 비교 (왜 막혔나?)
✗ 취약한 설정
# 정적 분석기 실행
dev$ cppcheck --enable=all control.c
>> buffer overrun 위험 37건 보고
→ 비인가 메모리 접근 여지
✓ 안전한 설정
# MISCRA 준수 + 게이트
ci$ static-analysis gate (0 warnings)
>> 위반 0 — 병합 승인
→ 안전 코딩 표준 준수 유지
🔧 조치 방법
- 안전핵심 코드는 코딩 표준(MISRA C) 준수를 빌드 게이트로 강제합니다.
- 정적 분석·코딩 표준 위반이 있으면 병합을 차단합니다.
- 동적 검증(퍼즈·단위 테스트)으로 메모리 안전을 확인합니다.
✅ 점검 체크리스트
- 정적 분석 게이트 존재
- 코딩 표준 위반 0 유지
점검기준: MISRA C · 정적 분석
🏗️ 현대 차량 아키텍처에서의 위치와 규제 대응
아키텍처 안전핵심 ECU 소프트웨어접근 경로 공급망 (코드 품질)R155 위협 분류 차량 데이터·코드 (4.3.6)ISO 21434 제품개발 — 구현
SDV·전동화 전환에서 달라지는 점
코드 규모가 폭증하면서 사람 검토만으로는 감당이 되지 않습니다. 더 큰 변화는 AI 가 생성한 코드가 들어오기 시작했다는 점으로, 생성 코드는 그럴듯해 보이지만 경계 조건을 놓치는 경향이 있어 정적 분석의 역할이 더 커졌습니다.
인증·심사에서 요구되는 증적
코딩 표준 준수 증적(정적 분석 결과·일탈 승인 기록)과 안전 관련 소프트웨어의 검증 범위.
코딩 표준 준수 증적(정적 분석 결과·일탈 승인 기록)과 안전 관련 소프트웨어의 검증 범위.
🚗 이 위협을 직접 공격·방어해 보기
ECU 물리·펌웨어 공격 실습 →
모의 침투 콘솔에서 실제로 공격을 실행하고, 방어를 적용해 다시 확인합니다.