동일한 힙 메모리 블록을 해제한 뒤 재할당 없이 다시 free하는 double free 취약점의 영향으로 가장 적절한 것은?

정답 4번

첫 free 이후 블록은 더 이상 호출자가 소유한 할당 객체가 아니다. 같은 블록을 다시 해제하면 할당기의 빈 블록 관리 상태를 중복 변경하거나 검사에 걸려 프로그램이 종료될 수 있다. 방어 검사가 충분하지 않은 구현에서는 이후 할당이 겹치거나 메모리 읽기·쓰기가 잘못될 수 있지만 모든 환경에서 임의 코드 실행이 가능한 것은 아니다. free는 포인터 변수 자체를 자동으로 NULL로 바꾸지 않는다. 해제 후 한 포인터를 NULL로 바꾸더라도 같은 블록을 가리키는 다른 별칭까지 없어지는 것은 아니다.