다음 C 코드의 실행 환경에서 unsigned int는 32비트이며, len은 패킷에서 읽어 초기화한 unsigned int 변수이다. src는 실제 수신 데이터를 가리킨다. 경계검사를 안전하게 고치는 방법은? ```c char buf[256]; if (len + 1 <= sizeof(buf)) { memcpy(buf, src, len); buf[len] = '\0'; } ```

1. 1

   `len + 1`을 먼저 계산한 뒤 결과가 256 이하인지 같은 방식으로 검사한다.

2. 2

   먼저 `len < sizeof(buf)`와 `len <= 실제 수신 바이트 수`를 모두 확인한 뒤 복사한다.

3. 3

   복사한 다음 len이 255보다 크면 값을 255로 낮추고 널 문자를 기록한다.

4. 4

   len을 부호 있는 32비트 정수로 변환하고 음수 여부만 검사한 뒤 복사한다.