1 입력 시 signed 비교 통과 (-1 < 24) 실제 input에서는 unsigned 0xFFFFFFFFFFFFFFFF로 해석 Pet 구조체: 0x00-0x17: Name (24 bytes) 0x18-0x1F: Counter + Padding (8 bytes) 0x20-0x27: Function Pointer (8 bytes) <- target 24바이트 더미 값 넣고 -1 입력하여 길이 체크 우회 후 함수 포인터 덮어써서 실행하면 된다.

image.png