J정처LAB
메뉴
기출·모의자체 제작분야별 검색핵심개념오답문제저장문제이용안내로그인
← 회차 전체 문제
편집복원자동 검사 완료2023년 정보보안기사 2회 필기 · 애플리케이션 보안 · 버퍼 경계검사 · 58번

다음 C 코드에서 `len`은 네트워크 패킷의 32비트 값이다. ```c char buf[256]; if (len + 1 <= sizeof(buf)) { memcpy(buf, src, len); buf[len] = '\0'; } ``` 경계검사를 안전하게 고치는 방법은?

char buf[256]

len은 네트워크의 32비트 부호 없는 값

검사식: len + 1 <= sizeof(buf)

검사 통과 후 memcpy(buf, src, len)

  1. 1

    memcpy 뒤에만 len을 255로 바꾼다.

    오답 이유복사 뒤 값을 바꾸면 이미 발생한 메모리 손상을 되돌리지 못한다.
  2. 2

    먼저 `len < sizeof(buf)`를 검증하고 실제 수신 길이 이상인지도 확인한 뒤 복사한다.

    정답 근거정수 오버플로 없는 비교와 입력 버퍼 길이 검증을 함께 수행한다.
  3. 3

    조건을 `len + 2 > 0`으로 바꾼다.

    오답 이유항상 참에 가까운 조건으로 목적지와 원본 경계를 보장하지 않는다.
  4. 4

    buf를 전역 변수로 옮긴다.

    오답 이유저장 영역을 바꿔도 256바이트 경계를 넘는 복사는 위험하다.
정답·상세해설

정답 2번

부호 없는 len이 최댓값에 가까우면 `len + 1`이 0으로 순환해 검사를 통과할 수 있다. 덧셈 전 `len < sizeof(buf)`처럼 상한을 직접 비교하고, 패킷에 실제로 존재하는 바이트 수까지 검증해야 범위를 벗어난 읽기·쓰기를 막는다.

콘텐츠 기록

콘텐츠 정보

자료 유형
편집복원
검수 상태
자동 검사 완료
해설 작성·검수
정처LAB 자동 검사
최종 검수
2026-08-23
정처LAB 자체 개념 설명

C·Java·Python 코드 실행 추적법

연산자, 함수 호출, 객체와 컬렉션의 상태를 줄 단위로 추적해 코드형 문제를 푸는 방법입니다.

  • 후위 증감은 현재 식에서 기존 값을 사용한 뒤 값을 바꾼다.
  • 배열 이름은 많은 식에서 첫 원소 주소로 변환되지만 배열 자체와 포인터 변수는 동일하지 않다.
전체 개념 정리 읽기 →
이 번호부터 전체 회차 풀기내 오답 복습회차 전체보기시험별 CBT 안내