1. 메모리 에러 코드
김성익(noerror@hitel.net)
2004.03.18

2. 개요
• 런타임상 문제들
• 메모리 문제로 인한 버그
발견의 어려움
• DevPartner BoundChecker 는 ?
• 메모리사용 / 포인터 사용
메모리 leak
버그의 위험성을 가지는 코드

3. Assigning Pointer Out of
Range
• 할당된 메모리를 넘어선 영역을 지시하는 포인터
• 마지막 영역의 계산상 사소한 실수
• 사용하지 않더라도 위험

4. Pointer Out of Block Range
• 포인터가 사용 가능한 메모리 블록 이외를 지시하는
경우

5. Reading/Writing Overflows
Memory
• 사용 가능한 영역을 넘어서 읽는 경우
• 사용 가능한 영역을 넘어서 쓰는 경우

6. Unallocated Pointer
• 메모리 할당되지 않는, 유효하지 않은 포인터

7. Reading Uninitialized
Memory
• 초기화되지 않은 메모리를 읽는 경우

8. Bad Write Pointer
• Write가 불가능한(무의미한) 메모리에 write 를 시도
하는 경우

9. Static Memory Overrun
• 정적 메모리의 영역을 벗어나서 억세스 하는 경우

10. Dynamic Memory Overrun
• 할당된 메모리를 벗어나 접근하는 경우
• 소스 문자열의 ‘₩0’이 없는 경우
소스 문자열이 너무 긴 경우
길이 인자가 잘못되는 경우

11. Buffer or Parameter Is Not
Null Terminated
• 문자열 끝에 ‘₩0’이 없어서 문자열의 길이가 제대로
파악이 안 되는 경우

12. Subscript Overrun: Array
Subscript Value Exceeds
Array Size
• 배열의 벗어난 인덱스로 접근하는 경우 (실제 메모리
는 유효해서 safe하더라도 버그 유발 가능성)

13. Dangling Allocation
Reference
• 메모리 해제된 메모리를 가리키는 포인터사용
• 버그를 유발하는 코드가 만들어 질 수 있다.
• 모두 사용 후 해제하거나, 메모리 해제된 메모리 포인
터는 사용하지 않는다.

14. Bad Pointer
• 유효하지 않는 포인터
• Unload된 DLLS에서 사용하던 메모리
• 해제된 리소스의 메모리 맵
• 더 이상 유효하지 않는 스택
• 메모리 해제된 힙메모리
• 사용할 수 없는 메모리 영역

15. Unrelated Pointer
Comparison
• 서로 연관성이 없는 포인터간의 비교 연산

16. Memory Leak
• 메모리를 할당하고 해제하지 않는 경우
• 사용한 메모리는 반드시 해제한다

17. Interface Leak
• 생성한 리소스를 release하지 않고 다시 할당하는 경
우 최종적으로 ref 카운트가 0가 안 되서 해제가 안
되는 경우

18. Leak Due to Leaked Block
• 메모리 leak 난 블록으로 인해서 leak 이 유발

19. Memory Leaked Due to
Unwind
• 예외로 리턴 되는 경우 할당된 메모리가 해제 안 되는
경우

20. Memory Leaked Due to Free
• 객체 소멸 시 사용한 맴버 포인터의 메모리를 해제하
지 않을 경우

21. Memory Leaked Due to
Reassignment
• 사용중인 포인터에 다른 주소를 넣어 이전 메모리
leak 이 생기는 경우

22. Memory Leaked Leaving
Scope
• 함수 내에서 메모리를 할당하고 외부로 전달하지도
않고, 해제하지도 않는 경우

23. Function Pointer Is Not a
Function
• 함수 포인터의 위치가 실제 함수의 주소가 아니다
• (Bad Indirect Call)

24. Returning Pointer to Local
Variable
• 로컬 변수를 리턴 하는 경우
• static 변수로 만들거나, 동적할당 하거나, 전역 변수
로 만든다

25. Resource Leak on Exit
• 리소스를 사용 후 해제하지 않는 경우
• 해제한다

26. Pointer Passed When a
Handle Was Expected
• 잘못된 함수 사용으로 메모리가 해제되거나, 재할당
되어야 하는 시도가 실패했을 때, 별도의 처리가 없는
경우
• GlobalAlloc 관련 함수들처럼 포인터 대신 핸들을 사
용하는 함수는 함수 레퍼런스를 충분히 숙지

27. Pointer Not at the Beginning
of the Allocated Block
• 할당된 메모리 포인터의 위치를 입력으로 받는 함수
에 증감된 위치의 포인터를 넘기는 경우

28. Memory Allocation Conflict:
Function Mismatch
• 메모리 할당자와 해제자가 다른 경우

29. Memory Allocation Conflict:
Module Conflict
• 다른 모듈에서 할당한 메모리를 해제하는 경우

30. 결론
• Overflowing a heap buffer is extremely dangerous
• 항상 예측 가능해야 한다
모든 경우를 대비한다
• 집중력이 떨어진 상태에서 코딩하지 않는다

31. 생략한 이슈들
• Destroying Process Heap
• Freed Handle Is Still Locked
• Function Refers to a Zero Length
Block
• Handle Is Already Unlocked
• Inefficient Use of
GlobalAlloc/LocalAlloc
• Nonzero Lock Count

32. Handle Passed Instead of a
Pointer to Memory
• 메모리 함수의 결과가 메모리 포인터가 아니라 핸들
인 경우

33. Pointer References
Unlocked Memory Block
• Lock 을 해야 유효한 포인터를 Lock 없이 사용

34. Bad Heap Handle
• 적절하지 않은 핸들로 heap함수를 호출하는 경우

35. Commit Exceeds Reserve
• VirtualAlloc 함수에서 예약된 메모리보다 큰 메모리
를 할당하는 경우