인프런 커뮤니티 질문&답변

// 스택 프레임 [ 지역변수 ] a가 함수가 종료되면서 없어지는데 함수 반환을 지역변수 a의 주소값으로 하고 있다.
int* TestPtr() {

	int a = 3;
	return &a;
}

// TestWrong() 함수가 호출되면서 다시 한번 스택프레임이 쌓이는데 이때 그전에 사용되고 반납됐던, TestPtr() 스택프레임 부분이 재사용되게 되고,
// a[0] ~ a[99] 까지 100개의 int(4byte)가 스택프레임 [지역변수] 에 쌓이고 [매개변수]로 받은 ptr이 가리키는 값을 다시한번 0x12341234로 수정한다.
void TestWrong(int* ptr) {
	int a[100] = {};
	a[99] = 0xAAAAAAAA;
	*ptr = 0x12341234;
}

int main() {

	// TestPtr() 스택프레임의 지역변수 a의 주소를 리턴받고
	int* ptr = TestPtr();

	// TestPtr 호출이 종료되면서 스택프레임에 있는 a의 주소 값이 유효하지 않게 되는데, 엄밀히 말하면 메모리 입장에서는 사라지는게 아니고 스택프레임 관리 차원에서 esp를 땡겨주는것이기 때문에
	// ptr에 담긴 값을 수정할 수 있다.  ( 이 자체만으로도 치명적인 문제! 하지만 디버깅에 문제없이 작동된다. )  
	*ptr = 123;

	TestWrong(ptr);

	return 0;
}

 

제가 이해가 안가는 부분은

*ptr = 0x12341234;

가 디버깅 단계에서 오류가 나는 부분입니다.

 

TestPtr() 이 사용했던 스택프레임을 재사용하다 운이 나빠 ptr의 주소가 TestWrong()  스택프레임의 지역변수 a배열 마지막 a[99] 다음인 ( a[99] + 1 ) 에 있다고  하더라도

그 ptr을 수정하는게 TestWrong() 스택프레임과 관련이 없는거 아닌가요?

마치  main 함수 내에서  유효하지 않더라도 

*ptr = 123; 
을 수정했던것처럼요.

제가 놓치고 있는 부분이 있을까요?

계속 고민해도 갈피가 잡히질 않네요..