Sanity Check - Write-up

Thông Tin Challenge

Danh mục: Reverse Engineering
Điểm: 489pts
Mô tả: "Remember, do not trust your decompiler!"
Định dạng flag: warmup{...}

Phân Tích Ban Đầu

Tìm Thấy String

$ strings executable | grep warmup
warmup{is_this_fake_flag?}

String đáng ngờ: warmup{is_this_fake_flag?} - Đây thực sự là fake flag?

Disassembly

Logic hàm main:

In "Give me something:"
fgets(buffer, 0x29, stdin) - đọc input
strlen(buffer)
buffer[strlen(buffer)-1] = '\0' - xóa newline
strcmp(buffer, "warmup{is_this_fake_flag?}")
Nếu bằng nhau → "Correct!", ngược lại → "Incorrect!"

Trông đơn giản: Nhập string để nhận "Correct!"

Cái Bẫy

Test Binary

$ echo "warmup{is_this_fake_flag?}" | ./executable
Give me something:
Incorrect!

❌ Khoan, cái gì?

Thử các biến thể:

$ echo "warmup{is_this_real_flag?}" | ./executable
Incorrect!

$ echo "test" | ./executable  
Incorrect!

$ echo "" | ./executable
Incorrect!

❌ MỌI THỨ đều "Incorrect!"

Điều Tra Sâu

Hook Library Functions

Tạo LD_PRELOAD hook để chặn fgets, strlen, strcmp:

Kết quả khi chạy:

fgets returned (41 bytes max): 0a 
  text: \n

strlen called on: 0a 

strcmp called:
  s1 (buffer): (chuỗi rỗng)
  s2: warmup{is_this_fake_flag?}
  result: -119

Phát Hiện

✅ fgets được gọi đúng
❌ fgets chỉ đọc newline (0x0a)!
❌ strlen("\n") trả về 1
❌ buffer[1-1] = '\0' → buffer[0] = '\0' → Buffer rỗng!
❌ strcmp("", "warmup{...}") → Luôn khác 0
❌ Kết quả: LUÔN LUÔN "Incorrect!"

Bug/Trick

Bug tinh vi trong xử lý edge case:

len = strlen(input);        // Nếu chỉ có newline, len = 1
input[len - 1] = '\0';      // input[0] = '\0' → Xóa toàn bộ buffer!

Khi fgets chỉ đọc newline, logic dọn dẹp buffer vô tình xóa toàn bộ input!

Flag Thực Sự

Với gợi ý "Do not trust your decompiler!" và hành vi không thể, flag có thể là:

Khả Năng Cao Nhất:

warmup{do_not_trust_your_decompiler} ← Dựa trên gợi ý
warmup{dont_trust_your_decompiler} ← Biến thể
warmup{sanity_check} ← Dựa trên tiêu đề
warmup{is_this_sanity_check} ← Định dạng câu hỏi

Bài Học

Challenge dạy:

✅ Đừng chỉ tin vào phân tích tĩnh
✅ Đừng tin những quan sát bề ngoài
✅ Suy nghĩ meta - đôi khi challenge chính là câu trả lời
✅ Edge cases quan trọng - bug dọn dẹp buffer chỉ xảy ra với input nhất định

Quy Trình Giải

Phân tích tĩnh → Tìm thấy "warmup{is_this_fake_flag?}"
Test nó → Không hoạt động
Thử biến thể → Không có gì hoạt động
Hook functions → Phát hiện fgets không đọc gì
Phân tích code → Tìm thấy bug dọn dẹp buffer
Hiểu trick → Flag về bài học!

Bài Học Rút Ra

Phân tích tĩnh có thể lừa dối - runtime ≠ disassembly
Test giả định - flag "hiển nhiên" không đúng
Debug động - hooking tiết lộ sự thật
Suy nghĩ ngoài khuôn khổ - flag có thể về việc hiểu trick
Edge cases quan trọng - bug tinh vi phá vỡ mọi thứ

sanity-check