(MISRA-C 3강) Rule Categories: 기본 문법 & 타입 안전성 규칙

🚗 MISRA-C:2012 실무 강의 3강 : Rule Categories: 기본 문법 & 타입 안전성 규칙

😎 들어가며

C 언어는 빠르고 강력합니다.
그런데 동시에 위험하고 변덕스러운 면도 있죠.
왜냐고요? 바로 Undefined Behavior(UB) 때문입니다.

MISRA-C:2012의 기본 문법과 타입 안전성 규칙은
이 UB라는 “잠재적 사고 유발자”를 원천 차단하기 위한 방패입니다. 🛡

---

📌 Undefined Behavior, 너 정체가 뭐냐?

UB(정의되지 않은 동작)는 말 그대로
C 표준에서 “이 상황은 정의 안 함”이라고 선언해 버린 경우입니다.
즉, 컴파일러가 마음대로 처리해 버립니다.

결과는 이렇죠:

• 디버그 모드 → 정상 동작하는 것 같음 ✅
• 릴리즈 모드 → 갑자기 오작동 💥
• 다른 컴파일러 → 완전히 다른 결과 🤯

---

🕵️ UB의 실전 예시

1. 정수 오버플로
   int x = INT_MAX; x = x + 1; // 표준: "몰라. 니가 알아서 해."
2. 배열 범위 초과 접근
   int arr[3] = {1, 2, 3}; int y = arr[5]; // 존재하지 않는 데이터에 손 뻗기
3. 잘못된 타입 변환
   float f = 3.14f; int i = *(int*)&f; // 메모리 재해석, 결과 예측 불가
4. 0으로 나누기
   int z = 10 / 0; // 수학 선생님이 기절

---

🛡 MISRA-C의 UB 방어 규칙: 핵심 카테고리

1. 기본 문법(Syntax) 규칙

• C 표준에서 허용하지만 버그 가능성이 높은 구문 제한

       예: goto 사용 제한, 복잡한 매크로 금지

• 효과: 코드 가독성 향상 & 디버깅 난이도 감소

2. 타입 안전성(Type Safety) 규칙

• 암묵적 타입 변환 대신 명시적 캐스팅 요구
• 서로 다른 타입 간 연산 제한
• 효과: 데이터 해석 오류 방지 & 컴파일러 경고 감소

3. 정수/산술 연산 규칙

• 부호 있는/없는 정수 혼합 연산 주의
• 오버플로·언더플로 예방
• 효과: 예측 가능성 확보, 플랫폼 의존성 축소

4. 메모리 접근 규칙

• 배열 범위 초과 금지
• NULL 포인터 역참조 방지
• 효과: 크래시·데이터 손상 예방

---

📊 한눈에 보는 규칙 요약

규칙 카테고리	주요 예시	목적
기본 문법	goto 제한, 위험한 매크로 금지	제어 흐름 명확화
타입 안전성	명시적 캐스팅, 혼합 연산 제한	타입 변환 안정성
정수 연산	부호 혼합 주의, 오버플로 방지	예측 가능성
메모리 접근	범위 초과 접근 금지	메모리 안전성

---

💡 실무 조언

UB는 “테스트에서 안 터지면 괜찮다”가 절대 아닙니다.
필드에서 재현되면, 이미 늦었죠.
MISRA-C 규칙을 지키면 정적 분석 도구가 사전에 잡아줍니다.
즉, 예방이 곧 비용 절감입니다. 💰

---

📢 다음 회차 예고

4강: MISRA-C에서의 제어 흐름과 조건문 규칙
if, switch, for… 단순한 제어문이 안전 규칙의 핫스팟?
다음 시간에는 안전한 흐름 제어의 비밀과
조건문에서 빠지기 쉬운 함정을 풀어드립니다!