วิเคราะห์การขัดข้องของระบบ

ส่วนต่อไปนี้รวมถึงประเภทการขัดข้องของระบบที่พบบ่อย การวิเคราะห์ ตัวอย่างไฟล์ข้อขัดข้อง และการสนทนาเกี่ยวกับ Tombstone ข้อขัดข้องแต่ละประเภทประกอบด้วย ตัวอย่างผลลัพธ์ debuggerd ซึ่งมีการไฮไลต์หลักฐานสำคัญไว้เพื่อช่วยในการ คุณจำแนกประเภทข้อขัดข้องที่เจาะจงได้

ล้มเลิก

การทำแท้งเป็นเรื่องที่น่าสนใจเนื่องจากมีความจงใจ ซึ่งมีหลายประเภท วิธีการล้มเลิก (รวมถึงการโทร abort(3), ความล้มเหลว assert(3), โดยใช้ประเภทการบันทึกที่ร้ายแรงเฉพาะของ Android) แต่ทั้งหมดนั้นเกี่ยวข้องกับ กำลังโทรหา abort การโทรไปยัง abort ส่งสัญญาณการโทร ชุดข้อความที่มี SIGABRT ดังนั้นเฟรมที่แสดงคำว่า "ล้มเลิก" ใน libc.so พลัส SIGABRT คือสิ่งที่ต้องมองหาในเอาต์พุต debuggerd สำหรับ จำกรณีนี้ได้

อาจมี "ข้อความล้มเลิก" ปรากฏขึ้นอย่างชัดเจน บรรทัด นอกจากนี้คุณควรดูใน logcat ออกเพื่อดูว่าชุดข้อความนี้บันทึกอะไรก่อนที่จะตั้งใจ ฆ่าตัวตาย เพราะไม่เหมือนassert(3)หรือเป็นอันตรายถึงชีวิตระดับสูง สถานที่บันทึก abort(3) ไม่ยอมรับข้อความ

Android เวอร์ชันปัจจุบันในบรรทัด tgkill(2) ระบบเพื่อให้กองซ้อนอ่านได้ง่ายที่สุด ด้วยการกำหนดให้ ล้มเลิก(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 ที่แท้จริง

นี่คือข้อขัดข้องดั้งเดิมแบบดั้งเดิม และถึงแม้ว่าจะเป็นกรณีพิเศษของ ประเภทข้อขัดข้องถัดไป ควรพูดถึงแยกต่างหากเพราะมักจะต้องใช้ เป็นสิ่งที่เราคิดน้อยที่สุด

ในตัวอย่างด้านล่าง แม้ว่าฟังก์ชันข้อขัดข้องจะอยู่ใน 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

การลดระดับตัวชี้ค่าว่างที่อยู่ต่ำ

ในหลายกรณี ที่อยู่ที่ไม่ถูกต้องจะไม่ใช่ 0 แต่เป็นค่าที่ต่ำอื่นๆ 2 หรือ โดยเฉพาะที่อยู่ 3 หลัก ซึ่งเป็นที่อยู่ทั่วๆ ไป ขณะที่ตัวเลข 6 หลัก ก็แทบจะไม่ใช่การอ้างอิงตัวชี้ที่เป็นค่าว่างอย่างแน่นอน ซึ่งจะเป็น ต้องใช้การชดเชยเวลา 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 ดังนั้น คุณพบข้อบกพร่อง: readdir ผ่านการตรวจสอบค่า Null ของผู้โทร ถึงจุดนี้ คุณสามารถวางกองลงในเครื่องมือกองซ้อนเพื่อค้นหา ตำแหน่งใน 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 ไม่สำเร็จ

ความล้มเหลว 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 หมายเลขโทรต่างกันอีกครั้งทั้งในสาขาและ 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 --help เพื่อดูตัวเลือกที่รองรับในปัจจุบัน

ในการแนะนำองค์ประกอบต่างๆ ในข้อมูลสรุปข้อขัดข้อง มาดูกันเลย ตัวอย่าง 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 คือ ABI หนึ่ง, arm64, x86 หรือ x86-64 โดยส่วนใหญ่ มีประโยชน์สำหรับสคริปต์ stack ที่กล่าวถึงข้างต้นเพื่อให้ทราบว่า ควรใช้ Toolchain ใด 

pid: 1656, tid: 1656, name: crasher >>> crasher <<<

บรรทัดนี้จะระบุเธรดที่เฉพาะเจาะจงในกระบวนการที่ขัดข้อง ด้วยวิธีนี้ ก็คือกระบวนการ" เทรดหลัก ดังนั้นรหัสกระบวนการและรหัสเทรดจะตรงกัน ชื่อแรกคือชื่อชุดข้อความ และจะมีชื่อล้อมรอบด้วย >>> และ <<< คือชื่อกระบวนการ สําหรับแอป ชื่อกระบวนการมักจะเป็น ชื่อแพ็กเกจที่สมบูรณ์ในตัวเอง (เช่น com.facebook.katana) ซึ่ง มีประโยชน์เมื่อยื่นข้อบกพร่องหรือพยายาม ค้นหาแอปใน Google Play The 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) สุดท้าย ถ้ามีสัญลักษณ์ สัญลักษณ์ที่คอมพิวเตอร์พีซี จะปรากฏขึ้น พร้อมกับออฟเซ็ตลงในสัญลักษณ์นั้นใน ไบต์ คุณใช้นโยบายนี้ร่วมกับ objdump(1) เพื่อค้นหา วิธีการประกอบที่เกี่ยวข้อง

อ่าน Tombstone

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 ไม่เช่นนั้น ให้ดูแผนที่รอบๆ รอยตำหนิ ก็มักจะช่วยให้คุณทราบว่าเกิดอะไรขึ้น ปัญหาบางประการที่อาจเกิดขึ้น ซึ่งสามารถจดจำได้จากการดูแผนที่ ซึ่งรวมถึง

  • อ่าน/เขียนเกินช่วงท้ายของบล็อกหน่วยความจำ
  • อ่าน/เขียนก่อนเริ่มต้นบล็อกหน่วยความจำ
  • ความพยายามที่จะดำเนินการที่ไม่ใช่โค้ด
  • กำลังทำงานในส่วนท้ายสุดของสแต็ก
  • พยายามเขียนโค้ด (ตามตัวอย่างด้านบน)

สิ่งที่สองที่ควรทราบคือ ไฟล์ปฏิบัติการและไฟล์ไลบรารีที่ใช้ร่วมกันจะ แสดง 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

โดยปกติแล้ว ไลบรารีที่ใช้ร่วมกันจะมีรายการที่อยู่ติดกัน 3 รายการ แบบมีที่อ่านได้และ ไฟล์ปฏิบัติการ (โค้ด) รายการหนึ่งคือแบบอ่านอย่างเดียว (ข้อมูลแบบอ่านอย่างเดียว) และอีกรายการหนึ่งเป็นแบบอ่านอย่างเดียว (ข้อมูลที่เปลี่ยนแปลงได้) คอลัมน์แรกจะแสดงช่วงที่อยู่สำหรับการแมป คอลัมน์ที่ 2 สิทธิ์ (ในรูปแบบ ls(1) ของ Unix ตามปกติ) คอลัมน์ที่ 3 ออฟเซ็ตลงในไฟล์ (เป็นเลขฐานสิบหก) ขนาดคอลัมน์ที่ 4 ของภูมิภาค (เป็นเลขฐานสิบหก) และคอลัมน์ที่ 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]