ส่วนต่อไปนี้จะอธิบายข้อขัดข้องทั่วไปของเนทีฟ การวิเคราะห์ตัวอย่างไฟล์บันทึกข้อขัดข้อง และการพูดคุยเกี่ยวกับรายการที่ลบไปแล้ว ข้อขัดข้องแต่ละประเภทจะมีตัวอย่างเอาต์พุต debuggerd
พร้อมไฮไลต์หลักฐานสำคัญเพื่อช่วยให้คุณแยกแยะข้อขัดข้องแต่ละประเภทได้
ล้มเลิก
การหยุดกลางคันน่าสนใจเนื่องจากเป็นการกระทำโดยเจตนา การยกเลิกทำได้หลายวิธี (รวมถึงการเรียกใช้ abort(3)
, การเรียกใช้ assert(3)
ที่ไม่สําเร็จ การใช้การบันทึกประเภทร้ายแรงที่เฉพาะเจาะจงสําหรับ Android) แต่ทั้งหมดเกี่ยวข้องกับการเรียกใช้ abort
การเรียก abort
จะส่งสัญญาณไปยังเธรดเรียกใช้ด้วย SIGABRT ดังนั้นเฟรมที่แสดง "abort" ใน libc.so
บวกกับ SIGABRT คือสิ่งที่ต้องมองหาในเอาต์พุต debuggerd
เพื่อจดจำกรณีนี้
อาจมีบรรทัด "ข้อความยกเลิก" ที่ชัดเจน นอกจากนี้ คุณควรดูที่เอาต์พุต logcat
เพื่อดูว่าชุดข้อความนี้บันทึกอะไรไว้ก่อนที่จะจงใจหยุดทำงานเอง เนื่องจาก abort(3)
ไม่ยอมรับข้อความ ต่างจาก assert(3)
หรือเครื่องมือบันทึกข้อผิดพลาดร้ายแรงระดับสูง
Android เวอร์ชันปัจจุบันจะแทรกการเรียกใช้ระบบ tgkill(2)
ไว้ในบรรทัดเดียวกัน ดังนั้นสแต็กจึงอ่านได้ง่ายที่สุด โดยมีการเรียกใช้ abort(3) ที่ด้านบนสุด
pid: 4637, tid: 4637, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'some_file.c:123: some_function: assertion "false" failed' r0 00000000 r1 0000121d r2 00000006 r3 00000008 r4 0000121d r5 0000121d r6 ffb44a1c r7 0000010c r8 00000000 r9 00000000 r10 00000000 r11 00000000 ip ffb44c20 sp ffb44a08 lr eace2b0b pc eace2b16 backtrace: #00 pc 0001cb16 /system/lib/libc.so (abort+57) #01 pc 0001cd8f /system/lib/libc.so (__assert2+22) #02 pc 00001531 /system/bin/crasher (do_action+764) #03 pc 00002301 /system/bin/crasher (main+68) #04 pc 0008a809 /system/lib/libc.so (__libc_init+48) #05 pc 00001097 /system/bin/crasher (_start_main+38)
Android เวอร์ชันเก่าๆ ใช้เส้นทางที่ซับซ้อนระหว่างการเรียกใช้การยกเลิกเดิม (เฟรมที่ 4 ที่นี่) กับการส่งสัญญาณจริง (เฟรมที่ 0 ที่นี่)
ปัญหานี้เกิดขึ้นกับ ARM 32 บิตเป็นพิเศษ ซึ่งเพิ่ม __libc_android_abort
(เฟรมที่ 3 ที่นี่) ไปยังลำดับ raise
/pthread_kill
/tgkill
ของแพลตฟอร์มอื่นๆ
pid: 1656, tid: 1656, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'some_file.c:123: some_function: assertion "false" failed' r0 00000000 r1 00000678 r2 00000006 r3 f70b6dc8 r4 f70b6dd0 r5 f70b6d80 r6 00000002 r7 0000010c r8 ffffffed r9 00000000 sl 00000000 fp ff96ae1c ip 00000006 sp ff96ad18 lr f700ced5 pc f700dc98 cpsr 400b0010 backtrace: #00 pc 00042c98 /system/lib/libc.so (tgkill+12) #01 pc 00041ed1 /system/lib/libc.so (pthread_kill+32) #02 pc 0001bb87 /system/lib/libc.so (raise+10) #03 pc 00018cad /system/lib/libc.so (__libc_android_abort+34) #04 pc 000168e8 /system/lib/libc.so (abort+4) #05 pc 0001a78f /system/lib/libc.so (__libc_fatal+16) #06 pc 00018d35 /system/lib/libc.so (__assert2+20) #07 pc 00000f21 /system/xbin/crasher #08 pc 00016795 /system/lib/libc.so (__libc_init+44) #09 pc 00000abc /system/xbin/crasher
คุณจำลองอินสแตนซ์ของข้อขัดข้องประเภทนี้ซ้ำได้โดยใช้ crasher
abort
การอ้างอิง Null Pointer ล้วนๆ
นี่คือข้อขัดข้องแบบเนทีฟคลาสสิก และแม้ว่าจะเป็นกรณีพิเศษของข้อขัดข้องประเภทถัดไป แต่ก็ควรกล่าวถึงแยกกันเนื่องจากมักต้องใช้ความคิดน้อยที่สุด
ในตัวอย่างด้านล่าง แม้ว่าฟังก์ชันที่ขัดข้องจะอยู่ใน libc.so
แต่เนื่องจากฟังก์ชันสตริงจะทำงานกับพอยน์เตอร์ที่ได้รับเท่านั้น คุณจึงอนุมานได้ว่า strlen(3)
เรียกใช้ด้วยพอยน์เตอร์ Null และข้อขัดข้องนี้ควรส่งไปยังผู้เขียนโค้ดเรียกใช้โดยตรง ในกรณีนี้ เฟรม #01 คือผู้โทรที่ไม่เหมาะสม
pid: 25326, tid: 25326, name: crasher >>> crasher <<< signal 11 (SIGSEGV), code 1 (SEGV_MAPERR), fault addr 0x0 r0 00000000 r1 00000000 r2 00004c00 r3 00000000 r4 ab088071 r5 fff92b34 r6 00000002 r7 fff92b40 r8 00000000 r9 00000000 sl 00000000 fp fff92b2c ip ab08cfc4 sp fff92a08 lr ab087a93 pc efb78988 cpsr 600d0030 backtrace: #00 pc 00019988 /system/lib/libc.so (strlen+71) #01 pc 00001a8f /system/xbin/crasher (strlen_null+22) #02 pc 000017cd /system/xbin/crasher (do_action+948) #03 pc 000020d5 /system/xbin/crasher (main+100) #04 pc 000177a1 /system/lib/libc.so (__libc_init+48) #05 pc 000010e4 /system/xbin/crasher (_start+96)
คุณจำลองอินสแตนซ์ของข้อขัดข้องประเภทนี้ซ้ำได้โดยใช้ crasher
strlen-NULL
การอ้างอิง Null Pointer ในที่อยู่ต่ำ
ในหลายกรณี ที่อยู่ข้อบกพร่องจะไม่เท่ากับ 0 แต่จะเป็นตัวเลขต่ำๆ อื่นๆ โดยเฉพาะอย่างยิ่งที่อยู่ 2 หรือ 3 หลักนั้นพบได้ทั่วไปมาก ส่วนที่อยู่ 6 หลักนั้นแทบจะไม่ใช่การอ้างอิง Null Pointer ซึ่งจะต้องมีออฟเซต 1 MiB กรณีนี้มักเกิดขึ้นเมื่อคุณมีโค้ดที่ถอดอ้างอิงพอยน์เตอร์ Null ราวกับว่าเป็นสตรัคเจอร์ที่ถูกต้อง ฟังก์ชันทั่วไปคือ fprintf(3)
(หรือฟังก์ชันอื่นๆ ที่รับ FILE*) และ readdir(3)
เนื่องจากโค้ดมักไม่ตรวจสอบว่าการเรียกใช้ fopen(3)
หรือ opendir(3)
สำเร็จก่อน
ตัวอย่างของ readdir
เช่น
pid: 25405, tid: 25405, name: crasher >>> crasher <<< signal 11 (SIGSEGV), code 1 (SEGV_MAPERR), fault addr 0xc r0 0000000c r1 00000000 r2 00000000 r3 3d5f0000 r4 00000000 r5 0000000c r6 00000002 r7 ff8618f0 r8 00000000 r9 00000000 sl 00000000 fp ff8618dc ip edaa6834 sp ff8617a8 lr eda34a1f pc eda618f6 cpsr 600d0030 backtrace: #00 pc 000478f6 /system/lib/libc.so (pthread_mutex_lock+1) #01 pc 0001aa1b /system/lib/libc.so (readdir+10) #02 pc 00001b35 /system/xbin/crasher (readdir_null+20) #03 pc 00001815 /system/xbin/crasher (do_action+976) #04 pc 000021e5 /system/xbin/crasher (main+100) #05 pc 000177a1 /system/lib/libc.so (__libc_init+48) #06 pc 00001110 /system/xbin/crasher (_start+96)
สาเหตุโดยตรงของข้อขัดข้องคือ pthread_mutex_lock(3)
ได้พยายามเข้าถึงที่อยู่ 0xc (เฟรม 0) แต่สิ่งแรกที่ pthread_mutex_lock
ทําคือการถอดอ้างอิงองค์ประกอบ state
ของ pthread_mutex_t*
ที่ได้รับ เมื่อดูที่แหล่งที่มา คุณจะเห็นองค์ประกอบดังกล่าวอยู่ที่ออฟเซต 0 ในโครงสร้าง ซึ่งบอกให้ทราบว่า pthread_mutex_lock
ได้รับพอยน์เตอร์ที่ไม่ถูกต้อง 0xc จากกรอบที่ 1 คุณจะเห็นว่ามีการให้เคอร์เซอร์นั้นโดย readdir
ซึ่งดึงข้อมูลช่อง mutex_
จาก DIR*
ที่ได้รับ เมื่อดูโครงสร้างดังกล่าว คุณจะเห็นว่า mutex_
อยู่ที่ออฟเซต sizeof(int) + sizeof(size_t) + sizeof(dirent*)
ใน struct DIR
ซึ่งในอุปกรณ์ 32 บิตคือ 4 + 4 + 4 = 12 = 0xc คุณจึงพบข้อบกพร่อง: ผู้เรียกใช้ส่งพอยน์เตอร์ Null ให้กับ readdir
เมื่อถึงจุดนี้ คุณสามารถวางสแต็กลงในเครื่องมือสแต็กเพื่อดูตำแหน่งในบันทึกที่เหตุการณ์นี้เกิดขึ้น
struct DIR { int fd_; size_t available_bytes_; dirent* next_; pthread_mutex_t mutex_; dirent buff_[15]; long current_pos_; };
ในกรณีส่วนใหญ่ คุณสามารถข้ามการวิเคราะห์นี้ได้ ที่อยู่ข้อบกพร่องที่ต่ำมากมักจะหมายความว่าคุณสามารถข้ามเฟรม libc.so
ในกองซ้อนและกล่าวหาโค้ดที่เรียกใช้โดยตรงได้ แต่ก็ไม่ได้เสมอไป และนี่คือวิธีนำเสนอเคสที่น่าสนใจ
คุณจำลองอินสแตนซ์ของข้อขัดข้องประเภทนี้ซ้ำได้โดยใช้ crasher
fprintf-NULL
หรือ crasher readdir-NULL
FORTIFY ทำงานไม่สำเร็จ
การทำงานที่ไม่สําเร็จของ FORTIFY เป็นกรณีพิเศษของการหยุดกลางคันที่เกิดขึ้นเมื่อไลบรารี C ตรวจพบปัญหาที่อาจทําให้เกิดช่องโหว่ด้านความปลอดภัย ฟังก์ชันในไลบรารี C หลายรายการได้รับการเสริมความปลอดภัย โดยจะใช้อาร์กิวเมนต์เพิ่มเติมซึ่งบอกขนาดบัฟเฟอร์จริง และตรวจสอบที่รันไทม์ว่าการดำเนินการที่คุณพยายามทำนั้นพอดีกับบัฟเฟอร์หรือไม่ ต่อไปนี้คือตัวอย่างที่โค้ดพยายามread(fd, buf, 32)
ลงในบัฟเฟอร์ที่มีความยาวเพียง 10 ไบต์เท่านั้น
pid: 25579, tid: 25579, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'FORTIFY: read: prevented 32-byte write into 10-byte buffer' r0 00000000 r1 000063eb r2 00000006 r3 00000008 r4 ff96f350 r5 000063eb r6 000063eb r7 0000010c r8 00000000 r9 00000000 sl 00000000 fp ff96f49c ip 00000000 sp ff96f340 lr ee83ece3 pc ee86ef0c cpsr 000d0010 backtrace: #00 pc 00049f0c /system/lib/libc.so (tgkill+12) #01 pc 00019cdf /system/lib/libc.so (abort+50) #02 pc 0001e197 /system/lib/libc.so (__fortify_fatal+30) #03 pc 0001baf9 /system/lib/libc.so (__read_chk+48) #04 pc 0000165b /system/xbin/crasher (do_action+534) #05 pc 000021e5 /system/xbin/crasher (main+100) #06 pc 000177a1 /system/lib/libc.so (__libc_init+48) #07 pc 00001110 /system/xbin/crasher (_start+96)
คุณจำลองอินสแตนซ์ของข้อขัดข้องประเภทนี้ซ้ำได้โดยใช้ crasher
fortify
ตรวจพบการทําให้สแต็กเสียหายโดย -fstack-protector
ตัวเลือก -fstack-protector
ของคอมไพเลอร์จะแทรกการตรวจสอบลงในฟังก์ชันที่มีบัฟเฟอร์บนกองเพื่อป้องกันการเขียนเกินบัฟเฟอร์ ตัวเลือกนี้จะเปิดอยู่โดยค่าเริ่มต้นสำหรับโค้ดแพลตฟอร์ม แต่จะไม่เปิดอยู่สำหรับแอป เมื่อเปิดใช้ตัวเลือกนี้ คอมไพเลอร์จะเพิ่มคำสั่งลงในส่วนนำของฟังก์ชันเพื่อเขียนค่าแบบสุ่มไว้หลังตัวแปรภายในตัวสุดท้ายบนกอง และลงในส่วนสรุปของฟังก์ชันเพื่ออ่านค่าดังกล่าวกลับและตรวจสอบว่าไม่มีการเปลี่ยนแปลง หากค่าดังกล่าวมีการเปลี่ยนแปลง บัฟเฟอร์ที่เกินขีดจำกัดจะเขียนทับค่าดังกล่าว ดังนั้นตอนจบจึงเรียก __stack_chk_fail
เพื่อบันทึกข้อความและหยุด
pid: 26717, tid: 26717, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'stack corruption detected' r0 00000000 r1 0000685d r2 00000006 r3 00000008 r4 ffd516d8 r5 0000685d r6 0000685d r7 0000010c r8 00000000 r9 00000000 sl 00000000 fp ffd518bc ip 00000000 sp ffd516c8 lr ee63ece3 pc ee66ef0c cpsr 000e0010 backtrace: #00 pc 00049f0c /system/lib/libc.so (tgkill+12) #01 pc 00019cdf /system/lib/libc.so (abort+50) #02 pc 0001e07d /system/lib/libc.so (__libc_fatal+24) #03 pc 0004863f /system/lib/libc.so (__stack_chk_fail+6) #04 pc 000013ed /system/xbin/crasher (smash_stack+76) #05 pc 00001591 /system/xbin/crasher (do_action+280) #06 pc 00002219 /system/xbin/crasher (main+100) #07 pc 000177a1 /system/lib/libc.so (__libc_init+48) #08 pc 00001144 /system/xbin/crasher (_start+96)
คุณแยกความแตกต่างระหว่างการหยุดทำงานประเภทนี้กับการหยุดทำงานประเภทอื่นๆ ได้โดยดูจาก __stack_chk_fail
ใน Backtrace และข้อความการหยุดทำงานที่เฉพาะเจาะจง
คุณจำลองอินสแตนซ์ของข้อขัดข้องประเภทนี้ซ้ำได้โดยใช้ crasher
smash-stack
Seccomp SIGSYS จากคําเรียกระบบที่ไม่อนุญาต
ระบบ seccomp (โดยเฉพาะ seccomp-bpf) จะจํากัดการเข้าถึงการเรียกระบบ ดูข้อมูลเพิ่มเติมเกี่ยวกับ seccomp สําหรับนักพัฒนาแพลตฟอร์มได้ที่บล็อกโพสต์ตัวกรอง Seccomp ใน Android O เทรดที่เรียกใช้การเรียกระบบที่ถูกจํากัดจะได้รับสัญญาณ SIGSYS ที่มีรหัส SYS_SECCOMP หมายเลขการเรียกระบบจะแสดงในบรรทัดสาเหตุพร้อมกับสถาปัตยกรรม โปรดทราบว่าหมายเลขการเรียกระบบจะแตกต่างกันไปตามสถาปัตยกรรม ตัวอย่างเช่น การเรียกใช้ระบบ readlinkat(2)
มีหมายเลข 305 ใน x86 แต่มีหมายเลข 267 ใน x86-64
หมายเลขการเรียกใช้จะแตกต่างกันอีกทั้งบน arm และ arm64 เนื่องจากหมายเลขการเรียกระบบจะแตกต่างกันไปตามสถาปัตยกรรม โดยทั่วไปแล้วการใช้สแต็กเทรซเพื่อดูการเรียกระบบที่ไม่อนุญาตจึงง่ายกว่าการค้นหาหมายเลขการเรียกระบบในส่วนหัว
pid: 11046, tid: 11046, name: crasher >>> crasher <<< signal 31 (SIGSYS), code 1 (SYS_SECCOMP), fault addr -------- Cause: seccomp prevented call to disallowed arm system call 99999 r0 cfda0444 r1 00000014 r2 40000000 r3 00000000 r4 00000000 r5 00000000 r6 00000000 r7 0001869f r8 00000000 r9 00000000 sl 00000000 fp fffefa58 ip fffef898 sp fffef888 lr 00401997 pc f74f3658 cpsr 600f0010 backtrace: #00 pc 00019658 /system/lib/libc.so (syscall+32) #01 pc 00001993 /system/bin/crasher (do_action+1474) #02 pc 00002699 /system/bin/crasher (main+68) #03 pc 0007c60d /system/lib/libc.so (__libc_init+48) #04 pc 000011b0 /system/bin/crasher (_start_main+72)
คุณแยกการเรียกระบบที่ไม่อนุญาตออกจากข้อขัดข้องอื่นๆ ได้โดยดูจากที่มี SYS_SECCOMP
ในบรรทัดสัญญาณและคำอธิบายในบรรทัดสาเหตุ
คุณจำลองอินสแตนซ์ของข้อขัดข้องประเภทนี้ซ้ำได้โดยใช้ crasher
seccomp
การละเมิดหน่วยความจำแบบเรียกใช้ได้อย่างเดียว (Android 10 เท่านั้น)
สำหรับ arm64 ใน Android 10 เท่านั้น ระบบจะแมปส่วนของไบนารีและไลบรารีที่เรียกใช้ได้ไปยังหน่วยความจำแบบเรียกใช้ได้อย่างเดียว (อ่านไม่ได้) เป็นเทคนิคการเพิ่มความแข็งแกร่งเพื่อป้องกันการโจมตีด้วยการใช้โค้ดซ้ำ มาตรการบรรเทานี้ส่งผลเสียต่อมาตรการบรรเทาอื่นๆ และถูกนําออกในภายหลัง
การทำให้โค้ดอ่านไม่ได้จะทำให้เกิดการอ่านโดยไม่ตั้งใจและตั้งใจไปยังส่วนของหน่วยความจำที่มีการทำเครื่องหมายเป็น "ดำเนินการได้เท่านั้น" เพื่อแสดงข้อผิดพลาด SIGSEGV
ที่มีรหัส SEGV_ACCERR
ปัญหานี้อาจเกิดขึ้นจากข้อบกพร่อง ช่องโหว่ ข้อมูลที่ผสมกับโค้ด (เช่น พูลแบบตัวอักษรล้วน) หรือการตรวจสอบหน่วยความจำโดยเจตนา
คอมไพเลอร์จะถือว่าโค้ดและข้อมูลไม่ได้ผสมปนกัน แต่อาจเกิดปัญหาขึ้นจากแอสเซมบลีที่เขียนด้วยตนเอง ในกรณีส่วนใหญ่ ปัญหาเหล่านี้จะแก้ไขได้ง่ายๆ เพียงย้ายค่าคงที่ไปยังส่วน .data
หากจำเป็นต้องใช้การตรวจสอบโค้ดในส่วนโค้ดที่เรียกใช้งานได้จริงๆ ควรเรียกใช้ mprotect(2)
ก่อนเพื่อทําเครื่องหมายว่าโค้ดอ่านได้ แล้วเรียกใช้อีกครั้งเพื่อทําเครื่องหมายว่าอ่านไม่ได้หลังจากการดำเนินการเสร็จสมบูรณ์
pid: 2938, tid: 2940, name: crasher64 >>> crasher64 <<< signal 11 (SIGSEGV), code 2 (SEGV_ACCERR), fault addr 0x5f2ced24a8 Cause: execute-only (no-read) memory access error; likely due to data in .text. x0 0000000000000000 x1 0000005f2cecf21f x2 0000000000000078 x3 0000000000000053 x4 0000000000000074 x5 8000000000000000 x6 ff71646772607162 x7 00000020dcf0d16c x8 0000005f2ced24a8 x9 000000781251c55e x10 0000000000000000 x11 0000000000000000 x12 0000000000000014 x13 ffffffffffffffff x14 0000000000000002 x15 ffffffffffffffff x16 0000005f2ced52f0 x17 00000078125c0ed8 x18 0000007810e8e000 x19 00000078119fbd50 x20 00000078125d6020 x21 00000078119fbd50 x22 00000b7a00000b7a x23 00000078119fbdd8 x24 00000078119fbd50 x25 00000078119fbd50 x26 00000078119fc018 x27 00000078128ea020 x28 00000078119fc020 x29 00000078119fbcb0 sp 00000078119fba40 lr 0000005f2ced1b94 pc 0000005f2ced1ba4 backtrace: #00 pc 0000000000003ba4 /system/bin/crasher64 (do_action+2348) #01 pc 0000000000003234 /system/bin/crasher64 (thread_callback+44) #02 pc 00000000000e2044 /apex/com.android.runtime/lib64/bionic/libc.so (__pthread_start(void*)+36) #03 pc 0000000000083de0 /apex/com.android.runtime/lib64/bionic/libc.so (__start_thread+64)
คุณแยกการละเมิดหน่วยความจำแบบดำเนินการเท่านั้นออกจากข้อขัดข้องอื่นๆ ได้โดยดูบรรทัดสาเหตุ
คุณจำลองอินสแตนซ์ของข้อขัดข้องประเภทนี้ซ้ำได้โดยใช้ crasher xom
ตรวจพบข้อผิดพลาดโดย fdsan
โปรแกรมตรวจสอบตัวระบุไฟล์ fdsan ของ Android ช่วยจับข้อผิดพลาดที่พบได้ทั่วไปเกี่ยวกับตัวระบุไฟล์ เช่น การใช้หลังจากปิดและปิด 2 ครั้ง ดูรายละเอียดเพิ่มเติมเกี่ยวกับการแก้ไขข้อบกพร่อง (และหลีกเลี่ยง) ข้อผิดพลาดประเภทนี้ในเอกสารประกอบของ fdsan
pid: 32315, tid: 32315, name: crasher64 >>> crasher64 <<< signal 35 (), code -1 (SI_QUEUE), fault addr -------- Abort message: 'attempted to close file descriptor 3, expected to be unowned, actually owned by FILE* 0x7d8e413018' x0 0000000000000000 x1 0000000000007e3b x2 0000000000000023 x3 0000007fe7300bb0 x4 3033313465386437 x5 3033313465386437 x6 3033313465386437 x7 3831303331346538 x8 00000000000000f0 x9 0000000000000000 x10 0000000000000059 x11 0000000000000034 x12 0000007d8ebc3a49 x13 0000007fe730077a x14 0000007fe730077a x15 0000000000000000 x16 0000007d8ec9a7b8 x17 0000007d8ec779f0 x18 0000007d8f29c000 x19 0000000000007e3b x20 0000000000007e3b x21 0000007d8f023020 x22 0000007d8f3b58dc x23 0000000000000001 x24 0000007fe73009a0 x25 0000007fe73008e0 x26 0000007fe7300ca0 x27 0000000000000000 x28 0000000000000000 x29 0000007fe7300c90 sp 0000007fe7300860 lr 0000007d8ec2f22c pc 0000007d8ec2f250 backtrace: #00 pc 0000000000088250 /bionic/lib64/libc.so (fdsan_error(char const*, ...)+384) #01 pc 0000000000088060 /bionic/lib64/libc.so (android_fdsan_close_with_tag+632) #02 pc 00000000000887e8 /bionic/lib64/libc.so (close+16) #03 pc 000000000000379c /system/bin/crasher64 (do_action+1316) #04 pc 00000000000049c8 /system/bin/crasher64 (main+96) #05 pc 000000000008021c /bionic/lib64/libc.so (_start_main)
คุณแยกความแตกต่างระหว่างการหยุดทำงานประเภทนี้กับการหยุดทำงานประเภทอื่นๆ ได้โดยดูจาก fdsan_error
ใน Backtrace และข้อความการหยุดทำงานที่เฉพาะเจาะจง
คุณจำลองอินสแตนซ์ของข้อขัดข้องประเภทนี้ซ้ำได้โดยใช้ crasher fdsan_file
หรือ crasher fdsan_dir
ตรวจสอบข้อมูลพะทึก
หากไม่มีข้อขัดข้องเฉพาะที่กําลังตรวจสอบอยู่ แหล่งที่มาของแพลตฟอร์มจะมีเครื่องมือสําหรับทดสอบ debuggerd
ที่เรียกว่า "ข้อขัดข้อง" หากคุณ mm
ใน system/core/debuggerd/
คุณจะเห็นทั้ง crasher
และ crasher64
ในเส้นทาง (crasher64
ช่วยให้คุณทดสอบข้อขัดข้องของ 64 บิตได้) ตัวทำให้ระบบขัดข้องอาจทำให้ระบบขัดข้องในลักษณะที่น่าสนใจได้หลายวิธีโดยอิงตามอาร์กิวเมนต์บรรทัดคำสั่งที่คุณระบุ
ใช้ crasher --help
เพื่อดูรายการที่รองรับในปัจจุบัน
มาดูตัวอย่างข้อมูลการขัดข้องนี้เพื่อดูส่วนต่างๆ ในข้อมูลการขัดข้อง
*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** Build fingerprint: 'Android/aosp_flounder/flounder:5.1.51/AOSP/enh08201009:eng/test-keys' Revision: '0' ABI: 'arm' pid: 1656, tid: 1656, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'some_file.c:123: some_function: assertion "false" failed' r0 00000000 r1 00000678 r2 00000006 r3 f70b6dc8 r4 f70b6dd0 r5 f70b6d80 r6 00000002 r7 0000010c r8 ffffffed r9 00000000 sl 00000000 fp ff96ae1c ip 00000006 sp ff96ad18 lr f700ced5 pc f700dc98 cpsr 400b0010 backtrace: #00 pc 00042c98 /system/lib/libc.so (tgkill+12) #01 pc 00041ed1 /system/lib/libc.so (pthread_kill+32) #02 pc 0001bb87 /system/lib/libc.so (raise+10) #03 pc 00018cad /system/lib/libc.so (__libc_android_abort+34) #04 pc 000168e8 /system/lib/libc.so (abort+4) #05 pc 0001a78f /system/lib/libc.so (__libc_fatal+16) #06 pc 00018d35 /system/lib/libc.so (__assert2+20) #07 pc 00000f21 /system/xbin/crasher #08 pc 00016795 /system/lib/libc.so (__libc_init+44) #09 pc 00000abc /system/xbin/crasher Tombstone written to: /data/tombstones/tombstone_06 *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
บรรทัดเครื่องหมายดอกจันที่มีเว้นวรรคจะมีประโยชน์ในกรณีที่คุณค้นหาบันทึกเพื่อหาข้อขัดข้องของเนทีฟ สตริง "*** ***" แทบจะไม่ปรากฏในบันทึก ยกเว้นตอนเริ่มต้นของข้อขัดข้องแบบเนทีฟ
Build fingerprint: 'Android/aosp_flounder/flounder:5.1.51/AOSP/enh08201009:eng/test-keys'
ลายนิ้วมือช่วยให้คุณระบุได้อย่างแม่นยำว่าข้อขัดข้องเกิดขึ้นในบิลด์ใด
ซึ่งจะเหมือนกับพร็อพเพอร์ตี้ ro.build.fingerprint
system
Revision: '0'
การแก้ไขนี้หมายถึงฮาร์ดแวร์ ไม่ใช่ซอฟต์แวร์ โดยปกติแล้วจะไม่มีการใช้งาน แต่อาจมีประโยชน์ในการช่วยคุณละเว้นข้อบกพร่องที่ทราบว่าเกิดจากฮาร์ดแวร์เสียโดยอัตโนมัติ ซึ่งจะเหมือนกับพร็อพเพอร์ตี้ระบบ ro.revision
ABI: 'arm'
ABI ต้องเป็นค่าใดค่าหนึ่งต่อไปนี้ arm, arm64, x86 หรือ x86-64 การดำเนินการนี้มีประโยชน์ส่วนใหญ่สำหรับสคริปต์ stack
ที่กล่าวถึงข้างต้น เพื่อให้ทราบว่าจะใช้เครื่องมืออะไร
pid: 1656, tid: 1656, name: crasher >>> crasher <<<
บรรทัดนี้จะระบุชุดข้อความที่เฉพาะเจาะจงในกระบวนการที่ขัดข้อง ในกรณีนี้ เทรดดังกล่าวเป็นเทรดหลักของกระบวนการ รหัสกระบวนการและรหัสเทรดจึงตรงกัน ชื่อแรกคือชื่อเธรด และชื่อที่ล้อมรอบด้วย >>> และ <<< คือชื่อกระบวนการ สําหรับแอป ชื่อกระบวนการมักจะเป็นชื่อแพ็กเกจแบบเต็มที่สมบูรณ์ (เช่น com.facebook.katana) ซึ่งมีประโยชน์เมื่อรายงานข้อบกพร่องหรือพยายามค้นหาแอปใน Google Play นอกจากนี้ PID และ TID ยังมีประโยชน์ในการค้นหาบรรทัดบันทึกที่เกี่ยวข้องก่อนเกิดข้อขัดข้องด้วย
signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------
บรรทัดนี้จะบอกคุณว่าได้รับสัญญาณใด (SIGABRT) และข้อมูลเพิ่มเติมเกี่ยวกับวิธีรับสัญญาณ (SI_TKILL) สัญญาณที่ debuggerd
รายงานมีดังนี้
SIGABRT, SIGBUS, SIGFPE, SIGILL, SIGSEGV และ SIGTRAP โค้ดเฉพาะสัญญาณจะแตกต่างกันไปตามสัญญาณนั้นๆ
Abort message: 'some_file.c:123: some_function: assertion "false" failed'
การขัดข้องบางรายการจะไม่มีบรรทัดข้อความยกเลิก แต่การยกเลิกจะมี ข้อมูลนี้รวบรวมโดยอัตโนมัติจากบรรทัดสุดท้ายของเอาต์พุต fatal logcat สำหรับ pid/tid นี้ และในกรณีที่มีการยกเลิกโดยเจตนา ก็อาจมีคำอธิบายว่าเหตุใดโปรแกรมจึงหยุดทำงานเอง
r0 00000000 r1 00000678 r2 00000006 r3 f70b6dc8 r4 f70b6dd0 r5 f70b6d80 r6 00000002 r7 0000010c r8 ffffffed r9 00000000 sl 00000000 fp ff96ae1c ip 00000006 sp ff96ad18 lr f700ced5 pc f700dc98 cpsr 400b0010
การดัมพ์รีจิสเตอร์จะแสดงเนื้อหาของรีจิสเตอร์ CPU ณ เวลาที่ได้รับสัญญาณ (ส่วนนี้แตกต่างกันอย่างมากระหว่าง ABI ต่างๆ) ประโยชน์ของข้อมูลเหล่านี้จะขึ้นอยู่กับข้อขัดข้องที่เกิดขึ้น
backtrace: #00 pc 00042c98 /system/lib/libc.so (tgkill+12) #01 pc 00041ed1 /system/lib/libc.so (pthread_kill+32) #02 pc 0001bb87 /system/lib/libc.so (raise+10) #03 pc 00018cad /system/lib/libc.so (__libc_android_abort+34) #04 pc 000168e8 /system/lib/libc.so (abort+4) #05 pc 0001a78f /system/lib/libc.so (__libc_fatal+16) #06 pc 00018d35 /system/lib/libc.so (__assert2+20) #07 pc 00000f21 /system/xbin/crasher #08 pc 00016795 /system/lib/libc.so (__libc_init+44) #09 pc 00000abc /system/xbin/crasher
การย้อนรอยจะแสดงตำแหน่งในโค้ดที่เราอยู่ ณ เวลาที่เกิดความขัดข้อง คอลัมน์แรกคือหมายเลขเฟรม (ตรงกับสไตล์ของ gdb ที่เฟรมที่ลึกที่สุดคือ 0) ค่า PC จะสัมพันธ์กับตําแหน่งของคลังที่ใช้ร่วมกัน ไม่ใช่ที่อยู่แบบสัมบูรณ์ คอลัมน์ถัดไปคือชื่อของภูมิภาคที่แมป (ซึ่งโดยปกติจะเป็นคลังที่ใช้ร่วมกันหรือไฟล์ปฏิบัติการ แต่อาจไม่ใช่สำหรับโค้ดที่คอมไพล์ด้วย JIT) สุดท้าย หากมีสัญลักษณ์ ระบบจะแสดงสัญลักษณ์ที่ตรงกับค่า PC พร้อมกับออฟเซตของสัญลักษณ์นั้นในไบต์ คุณสามารถใช้คำสั่งนี้ร่วมกับ objdump(1)
เพื่อค้นหาคำสั่งแอสเซมเบลอร์ที่เกี่ยวข้องได้
อ่านข้อมูลการลบ
Tombstone written to: /data/tombstones/tombstone_06
ข้อมูลนี้บอกตำแหน่งที่ debuggerd
เขียนข้อมูลเพิ่มเติม
debuggerd
จะเก็บรายการที่ลบไปแล้วได้สูงสุด 10 รายการ โดยระบบจะวนใช้หมายเลข 00 ถึง 09 และเขียนทับรายการที่ลบไปแล้วตามความจำเป็น
ข้อมูลนี้จะมีข้อมูลเดียวกับข้อมูลพุลข้อมูลข้อขัดข้อง รวมถึงข้อมูลเพิ่มเติมอีกเล็กน้อย เช่น ข้อมูลย้อนกลับสำหรับเธรดทั้งหมด (ไม่ใช่แค่เธรดที่ขัดข้อง) รีจิสเตอร์ทศนิยม การดัมพ์สแต็กดิบ และการดัมพ์หน่วยความจำรอบที่อยู่ในรีจิสเตอร์ ประโยชน์ที่สำคัญที่สุดคือยังมีแผนที่หน่วยความจำแบบเต็ม (คล้ายกับ /proc/pid/maps
) ด้วย
ตัวอย่างที่มีคำอธิบายประกอบจากการขัดข้องของกระบวนการ ARM แบบ 32 บิตมีดังนี้
memory map: (fault address prefixed with --->) --->ab15f000-ab162fff r-x 0 4000 /system/xbin/crasher (BuildId: b9527db01b5cf8f5402f899f64b9b121)
โปรดทราบว่ามี 2 สิ่งที่ควรทราบ ประการแรกคือบรรทัดนี้มี "--->" อยู่ข้างหน้า แผนที่จะมีประโยชน์มากที่สุดเมื่อข้อขัดข้องไม่ใช่แค่การอ้างอิงพอยน์เตอร์ Null หากที่อยู่ข้อบกพร่องมีขนาดเล็ก อาจเป็นตัวแปรบางอย่างของการอ้างอิง Null Pointer หรือดูแผนที่รอบๆ ที่อยู่ของข้อบกพร่องก็อาจให้เบาะแสเกี่ยวกับสิ่งที่เกิดขึ้นได้ ปัญหาที่อาจเกิดขึ้นซึ่งสังเกตได้จากแผนที่มีดังนี้
- อ่าน/เขียนเกินส่วนท้ายของบล็อกหน่วยความจำ
- อ่าน/เขียนก่อนการเริ่มต้นของบล็อกหน่วยความจำ
- พยายามเรียกใช้สิ่งที่ไม่ใช่โค้ด
- วิ่งออกจากกอง
- พยายามเขียนโค้ด (ดังตัวอย่างด้านบน)
สิ่งที่ควรทราบอีกอย่างคือไฟล์ที่เรียกใช้งานได้และไฟล์ไลบรารีที่ใช้ร่วมกันจะแสดง BuildId (หากมี) ใน Android 6.0 ขึ้นไป เพื่อให้คุณทราบว่าโค้ดเวอร์ชันใดที่ขัดข้อง ไฟล์ไบนารีของแพลตฟอร์มจะมี BuildId โดยค่าเริ่มต้นตั้งแต่ Android 6.0 เป็นต้นไป และ NDK r12 ขึ้นไปจะส่ง -Wl,--build-id
ไปยัง linker โดยอัตโนมัติด้วย
ab163000-ab163fff r-- 3000 1000 /system/xbin/crasher ab164000-ab164fff rw- 0 1000 f6c80000-f6d7ffff rw- 0 100000 [anon:libc_malloc]
ใน Android กองขยะไม่จำเป็นต้องเป็นภูมิภาคเดียว ภูมิภาคฮีปจะมีป้ายกำกับว่า [anon:libc_malloc]
f6d82000-f6da1fff r-- 0 20000 /dev/__properties__/u:object_r:logd_prop:s0 f6da2000-f6dc1fff r-- 0 20000 /dev/__properties__/u:object_r:default_prop:s0 f6dc2000-f6de1fff r-- 0 20000 /dev/__properties__/u:object_r:logd_prop:s0 f6de2000-f6de5fff r-x 0 4000 /system/lib/libnetd_client.so (BuildId: 08020aa06ed48cf9f6971861abf06c9d) f6de6000-f6de6fff r-- 3000 1000 /system/lib/libnetd_client.so f6de7000-f6de7fff rw- 4000 1000 /system/lib/libnetd_client.so f6dec000-f6e74fff r-x 0 89000 /system/lib/libc++.so (BuildId: 8f1f2be4b37d7067d366543fafececa2) (load base 0x2000) f6e75000-f6e75fff --- 0 1000 f6e76000-f6e79fff r-- 89000 4000 /system/lib/libc++.so f6e7a000-f6e7afff rw- 8d000 1000 /system/lib/libc++.so f6e7b000-f6e7bfff rw- 0 1000 [anon:.bss] f6e7c000-f6efdfff r-x 0 82000 /system/lib/libc.so (BuildId: d189b369d1aafe11feb7014d411bb9c3) f6efe000-f6f01fff r-- 81000 4000 /system/lib/libc.so f6f02000-f6f03fff rw- 85000 2000 /system/lib/libc.so f6f04000-f6f04fff rw- 0 1000 [anon:.bss] f6f05000-f6f05fff r-- 0 1000 [anon:.bss] f6f06000-f6f0bfff rw- 0 6000 [anon:.bss] f6f0c000-f6f21fff r-x 0 16000 /system/lib/libcutils.so (BuildId: d6d68a419dadd645ca852cd339f89741) f6f22000-f6f22fff r-- 15000 1000 /system/lib/libcutils.so f6f23000-f6f23fff rw- 16000 1000 /system/lib/libcutils.so f6f24000-f6f31fff r-x 0 e000 /system/lib/liblog.so (BuildId: e4d30918d1b1028a1ba23d2ab72536fc) f6f32000-f6f32fff r-- d000 1000 /system/lib/liblog.so f6f33000-f6f33fff rw- e000 1000 /system/lib/liblog.so
โดยปกติแล้ว คลังภาพที่แชร์จะมีรายการที่อยู่ติดกัน 3 รายการ ไฟล์หนึ่งอ่านได้และเรียกใช้ได้ (โค้ด) ไฟล์หนึ่งอ่านอย่างเดียว (ข้อมูลอ่านอย่างเดียว) และอีกไฟล์หนึ่งอ่านและเขียนได้ (ข้อมูลแบบเปลี่ยนแปลงได้) คอลัมน์แรกแสดงช่วงที่อยู่สำหรับการแมป คอลัมน์ที่ 2 แสดงสิทธิ์ (ในรูปแบบ ls(1)
ของ Unix ตามปกติ) คอลัมน์ที่ 3 แสดงออฟเซตในไฟล์ (ในรูปแบบฐาน 16) คอลัมน์ที่ 4 แสดงขนาดของภูมิภาค (ในรูปแบบฐาน 16) และคอลัมน์ที่ 5 แสดงไฟล์ (หรือชื่อภูมิภาคอื่นๆ)
f6f34000-f6f53fff r-x 0 20000 /system/lib/libm.so (BuildId: 76ba45dcd9247e60227200976a02c69b) f6f54000-f6f54fff --- 0 1000 f6f55000-f6f55fff r-- 20000 1000 /system/lib/libm.so f6f56000-f6f56fff rw- 21000 1000 /system/lib/libm.so f6f58000-f6f58fff rw- 0 1000 f6f59000-f6f78fff r-- 0 20000 /dev/__properties__/u:object_r:default_prop:s0 f6f79000-f6f98fff r-- 0 20000 /dev/__properties__/properties_serial f6f99000-f6f99fff rw- 0 1000 [anon:linker_alloc_vector] f6f9a000-f6f9afff r-- 0 1000 [anon:atexit handlers] f6f9b000-f6fbafff r-- 0 20000 /dev/__properties__/properties_serial f6fbb000-f6fbbfff rw- 0 1000 [anon:linker_alloc_vector] f6fbc000-f6fbcfff rw- 0 1000 [anon:linker_alloc_small_objects] f6fbd000-f6fbdfff rw- 0 1000 [anon:linker_alloc_vector] f6fbe000-f6fbffff rw- 0 2000 [anon:linker_alloc] f6fc0000-f6fc0fff r-- 0 1000 [anon:linker_alloc] f6fc1000-f6fc1fff rw- 0 1000 [anon:linker_alloc_lob] f6fc2000-f6fc2fff r-- 0 1000 [anon:linker_alloc] f6fc3000-f6fc3fff rw- 0 1000 [anon:linker_alloc_vector] f6fc4000-f6fc4fff rw- 0 1000 [anon:linker_alloc_small_objects] f6fc5000-f6fc5fff rw- 0 1000 [anon:linker_alloc_vector] f6fc6000-f6fc6fff rw- 0 1000 [anon:linker_alloc_small_objects] f6fc7000-f6fc7fff rw- 0 1000 [anon:arc4random _rsx structure] f6fc8000-f6fc8fff rw- 0 1000 [anon:arc4random _rs structure] f6fc9000-f6fc9fff r-- 0 1000 [anon:atexit handlers] f6fca000-f6fcafff --- 0 1000 [anon:thread signal stack guard page]
ตั้งแต่ Android 5.0 เป็นต้นไป ไลบรารี C จะตั้งชื่อพื้นที่ที่แมปแบบไม่ระบุตัวตนส่วนใหญ่เพื่อให้มีพื้นที่ที่ไม่รู้จักน้อยลง
f6fcb000-f6fccfff rw- 0 2000 [stack:5081]
ภูมิภาคที่มีชื่อว่า [stack:tid]
คือกองสแต็กสำหรับชุดข้อความที่ระบุ
f6fcd000-f702afff r-x 0 5e000 /system/bin/linker (BuildId: 84f1316198deee0591c8ac7f158f28b7) f702b000-f702cfff r-- 5d000 2000 /system/bin/linker f702d000-f702dfff rw- 5f000 1000 /system/bin/linker f702e000-f702ffff rw- 0 2000 f7030000-f7030fff r-- 0 1000 f7031000-f7032fff rw- 0 2000 ffcd7000-ffcf7fff rw- 0 21000 ffff0000-ffff0fff r-x 0 1000 [vectors]
คุณจะเห็น [vector]
หรือ [vdso]
ขึ้นอยู่กับสถาปัตยกรรม ARM ใช้ [vector]
ส่วนสถาปัตยกรรมอื่นๆ ทั้งหมดใช้ [vdso]