(MISRA-C 5강) 포인터 사용 제한과 안전한 메모리 접근

🚀 5회강: 포인터 사용 제한과 안전한 메모리 접근 🛡️

안녕하세요! MISRA-C 안전 코딩 여정을 함께하고 있는 여러분, 반갑습니다!
오늘은 많은 개발자들의 사랑(?)과 동시에 두려움의 대상이기도 한 포인터(pointer) 이야기를 해보겠습니다. 🧵✨

C 언어를 처음 배울 때 "포인터는 C의 꽃이다!"라는 말을 듣곤 합니다.
하지만 MISRA-C 관점에서 포인터는 위험한 꽃이 될 수 있죠. 🌹👉💥

---

🌐 왜 포인터가 위험할까?

포인터는 메모리 주소를 직접 다룰 수 있게 해주는 강력한 도구입니다.
그런데 이 강력함이 잘못 쓰이면 메모리 침범, 오동작, 보안 취약점으로 직결됩니다. 😱

예를 들어:

int arr[5] = {0};  
int *p = arr;  
p[10] = 100; // 🚨 배열 범위 초과, 메모리 침범!

이런 상황은 제어 불능 상태로 빠질 수 있어 MISRA-C에서는 강력하게 제약합니다.

---

📌 MISRA-C에서의 포인터 사용 제한 규칙

1. 포인터 연산 금지 ❌➕➖

• p + 1, p - 1 같은 포인터 산술 연산은 금지됩니다.
• 이유: 배열의 범위를 벗어나 예상치 못한 메모리 접근이 발생할 수 있기 때문입니다.

👉 MISRA-C는 “포인터는 주소를 담는 용도로만 사용하라!”는 원칙을 강조합니다.

---

2. 배열과 포인터는 명확히 구분! 🧩

C에서는 배열과 포인터가 헷갈리게 동작하는 경우가 많습니다.
하지만 MISRA-C에서는 이런 애매모호함을 제거합니다.

• 배열은 배열로!
• 포인터는 포인터로!

void process_array(int arr[10]); // ✅ 명확하게 배열 크기 지정
void process_pointer(int *p); // ✅ 포인터는 포인터로!

즉, “배열을 전달할 때는 배열임을 명확히 표시” 하는 것이 원칙입니다.

---

3. NULL 포인터는 반드시 확인! ⚠️

포인터를 사용할 때는 NULL 체크가 필수입니다.
안 그러면 프로그램은 바로 크래시로 이어질 수 있죠.

if (p != NULL) { *p = 10; // 안전하게 접근 ✅ }

---

🧭 안전한 메모리 접근 가이드

• 배열은 반드시 범위 내에서만 접근할 것.
• 포인터는 최소한으로 사용하고, 명확히 역할을 구분할 것.
• 필요하다면 안전한 추상화(예: 구조체, 인덱스 기반 접근)를 활용할 것.

즉, 포인터는 "있으면 좋지만 없어도 되는" 상황에서만 신중하게 사용해야 합니다. 🚦

---

🎯 오늘의 핵심 정리

• 포인터 연산은 절대 금지!
• 배열과 포인터는 명확히 구분!
• NULL 포인터 접근은 반드시 체크!

---

⏭️ 다음 회차 예고

다음 시간에는 전처리기 사용 규칙과 코드 가독성 확보에 대해 다뤄보겠습니다.
전처리기 매크로가 잘못 쓰이면 코드가 마법처럼(?) 꼬일 수 있는데요, 이를 어떻게 MISRA-C가 막아주는지 알아봅시다! ✨