ส่วนต่อไปนี้ประกอบด้วยประเภททั่วไปของความผิดพลาดที่เกิดขึ้นเอง การวิเคราะห์ตัวอย่างการถ่ายโอนข้อมูลความผิดพลาด และการอภิปรายเกี่ยวกับหลุมศพ ข้อขัดข้องแต่ละประเภทจะมีตัวอย่าง debuggerd
บกพร่องพร้อมหลักฐานสำคัญที่ไฮไลต์ไว้ เพื่อช่วยให้คุณแยกแยะประเภทข้อขัดข้องที่เฉพาะเจาะจงได้
ยกเลิก
การทำแท้งเป็นเรื่องที่น่าสนใจเพราะมีเจตนา มีหลายวิธีในการยกเลิก (รวมถึงการเรียก abort(3)
การไม่ยืนยัน assert(3)
โดยใช้หนึ่งในประเภทการบันทึกที่ร้ายแรงเฉพาะของ Android) แต่ทั้งหมดเกี่ยวข้องกับการเรียก abort
การเรียกให้ abort
จะส่งสัญญาณเธรดการเรียกด้วย SIGABRT ดังนั้นเฟรมที่แสดง "ยกเลิก" ใน libc.so
บวกกับ SIGABRT จึงเป็นสิ่งที่ควรมองหาในเอาต์พุต debuggerd
เพื่อจดจำกรณีนี้
อาจมีบรรทัด "ยกเลิกข้อความ" ที่ชัดเจน คุณควรดูในเอาต์พุตของ logcat
เพื่อดูว่าเธรดนี้บันทึกอะไรก่อนที่จะจงใจฆ่าตัวเอง เนื่องจากไม่เหมือนกับ assert(3)
หรือสิ่งอำนวยความสะดวกในการบันทึกที่ร้ายแรงระดับสูง abort(3)
ไม่ยอมรับข้อความ
Android เวอร์ชันปัจจุบันอินไลน์การเรียกของระบบ tgkill(2)
ดังนั้นสแต็กจึงอ่านง่ายที่สุด โดยมีการเรียก to 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
การอ้างอิงตัวชี้โมฆะล้วนๆ
นี่คือข้อขัดข้องดั้งเดิมแบบคลาสสิก และถึงแม้จะเป็นเพียงกรณีพิเศษของข้อขัดข้องประเภทถัดไป แต่ก็คุ้มค่าที่จะกล่าวถึงแยกกัน เนื่องจากโดยปกติแล้วต้องใช้ความคิดน้อยที่สุด
ในตัวอย่างด้านล่าง แม้ว่าฟังก์ชันขัดข้องจะอยู่ใน libc.so
เนื่องจากฟังก์ชันสตริงเพิ่งดำเนินการกับพอยน์เตอร์ที่ได้รับ คุณสามารถสรุปได้ว่า strlen(3)
ถูกเรียกด้วยตัวชี้ว่าง และข้อขัดข้องนี้ควรตรงไปที่ผู้เขียนรหัสการโทร ในกรณีนี้ เฟรม #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 ที่อยู่ต่ำ
ในหลายกรณี ที่อยู่ข้อบกพร่องจะไม่ใช่ 0 แต่เป็นตัวเลขอื่นๆ ที่ต่ำ โดยเฉพาะอย่างยิ่งที่อยู่สองหรือสามหลักเป็นเรื่องปกติมาก ในขณะที่ที่อยู่หกหลักแทบจะไม่ใช่การอ้างอิงตัวชี้ว่างอย่างแน่นอน ซึ่งจะต้องมีการชดเชย 1MiB ซึ่งมักจะเกิดขึ้นเมื่อคุณมีรหัสที่ dereferences ตัวชี้ 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_
อยู่ที่ offset sizeof(int) + sizeof(size_t) + sizeof(dirent*)
เข้าไปใน struct DIR
ซึ่งบนอุปกรณ์ 32 บิตคือ 4 + 4 + 4 = 12 = 0xc ดังนั้นคุณจึงพบข้อผิดพลาด: readdir
ถูกส่งผ่านตัวชี้ว่างโดยผู้โทร ณ จุดนี้ คุณสามารถวางสแต็กลงในเครื่องมือสแต็กเพื่อดูว่าสิ่งนี้เกิดขึ้น ที่ใด ใน logcat
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 เป็นกรณีพิเศษของการยกเลิกที่เกิดขึ้นเมื่อไลบรารี 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_SECOMP หมายเลขการโทรของระบบจะแสดงในบรรทัดสาเหตุ พร้อมด้วยสถาปัตยกรรม สิ่งสำคัญคือต้องทราบว่าหมายเลขการโทรของระบบจะแตกต่างกันไปตามสถาปัตยกรรม ตัวอย่างเช่น การเรียกของระบบ 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 ช่วยตรวจจับข้อผิดพลาดทั่วไปด้วยตัวอธิบายไฟล์ เช่น การใช้หลังปิด และการปิดสองครั้ง ดู เอกสารประกอบ 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
บนเส้นทางของคุณ (อันหลังช่วยให้คุณสามารถทดสอบข้อขัดข้อง 64 บิต) Crasher สามารถหยุดทำงานด้วยวิธีที่น่าสนใจมากมายโดยอิงตามอาร์กิวเมนต์บรรทัดคำสั่งที่คุณระบุ ใช้ crasher --help
เพื่อดูตัวเลือกที่รองรับในปัจจุบัน
หากต้องการแนะนำส่วนต่างๆ ใน Crash dump มาดูตัวอย่าง Crash dump นี้กัน:
*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** 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
ทุกประการ
Revision: '0'
การแก้ไขนี้อ้างอิงถึงฮาร์ดแวร์มากกว่าซอฟต์แวร์ โดยปกติจะไม่ได้ใช้ แต่อาจมีประโยชน์ในการช่วยให้คุณเพิกเฉยต่อจุดบกพร่องที่ทราบกันว่าเกิดจากฮาร์ดแวร์ที่ไม่ดีโดยอัตโนมัติ สิ่งนี้เหมือนกับคุณสมบัติระบบ ro.revision
ประการ
ABI: 'arm'
ABI คือหนึ่งใน arm, arm64, x86 หรือ x86-64 สิ่งนี้มีประโยชน์เป็นส่วนใหญ่สำหรับสคริปต์ stack
ที่กล่าวถึงข้างต้น เพื่อให้รู้ว่าควรใช้ toolchain ใด
pid: 1656, tid: 1656, name: crasher >>> crasher <<<
บรรทัดนี้ระบุเธรดเฉพาะในกระบวนการที่ล้มเหลว ในกรณีนี้ เป็นเธรดหลักของกระบวนการ ดังนั้น ID กระบวนการและ ID เธรดจึงตรงกัน ชื่อแรกคือชื่อเธรด และชื่อที่ล้อมรอบด้วย >>> และ <<< คือชื่อกระบวนการ สำหรับแอป โดยทั่วไปชื่อกระบวนการจะเป็นชื่อแพ็กเกจที่มีคุณสมบัติครบถ้วน (เช่น 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'
ไม่ใช่ทุกข้อขัดข้องที่จะมีบรรทัดข้อความที่จะยกเลิก แต่จะมีการยกเลิก สิ่งนี้จะถูกรวบรวมโดยอัตโนมัติจากบรรทัดสุดท้ายของเอาต์พุต 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
Backtrace จะแสดงให้คุณเห็นว่าโค้ดเราอยู่ที่ไหนในช่วงเวลาที่เกิดการขัดข้อง คอลัมน์แรกคือหมายเลขเฟรม (ตรงกับสไตล์ของ gdb โดยที่เฟรมที่ลึกที่สุดคือ 0) ค่า PC จะสัมพันธ์กับตำแหน่งของไลบรารีที่ใช้ร่วมกันมากกว่าที่อยู่ที่แน่นอน คอลัมน์ถัดไปคือชื่อของขอบเขตที่แมป (ซึ่งโดยปกติจะเป็นไลบรารีที่ใช้ร่วมกันหรือปฏิบัติการได้ แต่อาจไม่ใช่สำหรับ เช่น โค้ดที่คอมไพล์ด้วย JIT) สุดท้ายนี้ หากมีสัญลักษณ์ สัญลักษณ์ที่ค่า PC สอดคล้องกันก็จะแสดงขึ้น พร้อมกับการชดเชยเป็นสัญลักษณ์นั้นในหน่วยไบต์ คุณสามารถใช้สิ่งนี้ร่วมกับ objdump(1)
เพื่อค้นหาคำสั่งแอสเซมเบลอร์ที่เกี่ยวข้อง
กำลังอ่านป้ายหลุมศพ
Tombstone written to: /data/tombstones/tombstone_06
สิ่งนี้จะบอกคุณว่า debuggerd
เขียนข้อมูลเพิ่มเติมที่ไหน debuggerd
จะเก็บป้ายหลุมศพไว้สูงสุด 10 ป้าย วนไปตามหมายเลข 00 ถึง 09 และเขียนทับป้ายหลุมศพที่มีอยู่ตามความจำเป็น
ศิลาจารึกหลุมศพมีข้อมูลเดียวกันกับที่ทิ้งระเบิด บวกกับข้อมูลพิเศษอีกเล็กน้อย ตัวอย่างเช่น รวม backtrace สำหรับเธรด ทั้งหมด (ไม่ใช่แค่เธรดที่ขัดข้อง) รีจิสเตอร์ทศนิยม ดัมพ์สแต็กดิบ และดัมพ์หน่วยความจำรอบ ๆ ที่อยู่ในรีจิสเตอร์ มีประโยชน์มากที่สุดคือยังมีแผนที่หน่วยความจำแบบเต็ม (คล้ายกับ /proc/ pid /maps
) ต่อไปนี้คือตัวอย่างที่มีคำอธิบายประกอบจากกระบวนการขัดข้องของกระบวนการ ARM 32 บิต:
memory map: (fault address prefixed with --->) --->ab15f000-ab162fff r-x 0 4000 /system/xbin/crasher (BuildId: b9527db01b5cf8f5402f899f64b9b121)
มีสองสิ่งที่ควรทราบที่นี่ ประการแรกคือบรรทัดนี้ขึ้นต้นด้วย "--->" แผนที่มีประโยชน์มากที่สุดเมื่อความผิดพลาดของคุณไม่ได้เป็นเพียงการยกเลิกการอ้างอิงพอยน์เตอร์ หากที่อยู่ข้อบกพร่องมีขนาดเล็ก อาจเป็นตัวแปรหนึ่งของการยกเลิกการอ้างอิงตัวชี้ค่าว่าง มิฉะนั้น การดูแผนที่รอบๆ ที่อยู่ข้อบกพร่องมักจะช่วยให้คุณทราบได้ว่าเกิดอะไรขึ้น ปัญหาที่เป็นไปได้บางประการที่สามารถรับรู้ได้โดยดูแผนที่ ได้แก่:
- อ่าน/เขียนผ่านจุดสิ้นสุดของบล็อกหน่วยความจำ
- อ่าน/เขียนก่อนจุดเริ่มต้นของบล็อกหน่วยความจำ
- ความพยายามในการดำเนินการที่ไม่ใช่โค้ด
- วิ่งออกจากจุดสิ้นสุดของกอง
- ความพยายามในการเขียนโค้ด (ดังตัวอย่างด้านบน)
สิ่งที่สองที่ควรทราบคือไฟล์ปฏิบัติการและไลบรารีที่ใช้ร่วมกันจะแสดง BuildId (ถ้ามี) ใน Android 6.0 และสูงกว่า ดังนั้นคุณจึงสามารถดูได้อย่างแน่ชัดว่าโค้ดเวอร์ชันใดของคุณเสียหาย ไบนารีแพลตฟอร์มรวม BuildId เป็นค่าเริ่มต้นตั้งแต่ Android 6.0; NDK r12 และสูงกว่าจะส่งผ่าน -Wl,--build-id
ไปยังตัวเชื่อมโยงโดยอัตโนมัติเช่นกัน
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
โดยทั่วไปแล้ว ไลบรารีแบบแบ่งใช้จะมีรายการที่อยู่ติดกันสามรายการ หนึ่งคือสามารถอ่านและปฏิบัติการได้ (รหัส) หนึ่งคืออ่านอย่างเดียว (ข้อมูลอ่านอย่างเดียว) และอีกอันคืออ่าน-เขียน (ข้อมูลที่ไม่แน่นอน) คอลัมน์แรกแสดงช่วงที่อยู่สำหรับการแมป คอลัมน์ที่สองแสดงสิทธิ์ (ในรูปแบบ Unix ls(1)
ปกติ) คอลัมน์ที่สามชดเชยในไฟล์ (เป็นฐานสิบหก) คอลัมน์ที่สี่ขนาดของขอบเขต ( เป็นฐานสิบหก) และคอลัมน์ที่ห้าของไฟล์ (หรือชื่อภูมิภาคอื่น)
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]