การวินิจฉัยการขัดข้องของระบบ

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

ยกเลิก

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

อาจมีบรรทัด "ยกเลิกข้อความ" ที่ชัดเจน นอกจากนี้ คุณควรดูในเอาต์พุตของ logcat เพื่อดูว่าเธรดนี้บันทึกอะไรก่อนที่จะจงใจฆ่าตัวตาย เพราะต่างจาก assert(3) หรือเครื่องมือบันทึกที่ร้ายแรงในระดับสูง abort(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

เพียวพอยน์เตอร์ dereference

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

ในตัวอย่างด้านล่าง แม้ว่าฟังก์ชันการแครชจะอยู่ใน 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 แต่เป็นตัวเลขอื่นๆ ที่ต่ำ โดยเฉพาะอย่างยิ่งที่อยู่สองหรือสามหลักนั้นเป็นเรื่องธรรมดามาก ในขณะที่ที่อยู่หกหลักแทบจะไม่ใช่การเบี่ยงเบนจากตัวชี้ที่เป็นโมฆะ ซึ่งจะต้องมีออฟเซ็ต 1MiB ซึ่งมักเกิดขึ้นเมื่อคุณมีโค้ดที่ไม่อ้างอิงตัวชี้ 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 ถูกส่งผ่านตัวชี้ 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 เบอร์โทรกลับต่างกันทั้งบน 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 ที่เรียกว่า crasher หากคุณเข้า system/core/debuggerd/ คุณจะได้รับทั้ง crasher และ mm บน crasher64 ของคุณ (อันหลังจะให้คุณทดสอบการแครช 64 บิตได้) Crasher สามารถแครชได้หลายวิธีที่น่าสนใจตามอาร์กิวเมนต์บรรทัดคำสั่งที่คุณให้ไว้ ใช้ 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

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) ค่าพีซีจะสัมพันธ์กับตำแหน่งของไลบรารีที่ใช้ร่วมกันมากกว่าที่อยู่ที่แน่นอน คอลัมน์ถัดไปคือชื่อของภูมิภาคที่แมป (ซึ่งโดยปกติแล้วจะเป็นไลบรารีที่ใช้ร่วมกันหรือไฟล์เรียกทำงาน แต่อาจไม่ใช่สำหรับโค้ดที่คอมไพล์ด้วย JIT) สุดท้าย หากมีสัญลักษณ์ สัญลักษณ์ที่ตรงกับค่า PC จะแสดงพร้อมกับออฟเซ็ตของสัญลักษณ์นั้นเป็นไบต์ คุณสามารถใช้สิ่งนี้ร่วมกับ objdump(1) เพื่อค้นหาคำสั่งแอสเซมเบลอร์ที่เกี่ยวข้อง

อ่านหลุมฝังศพ

Tombstone written to: /data/tombstones/tombstone_06

สิ่งนี้บอกคุณว่า debuggerd เขียนข้อมูลเพิ่มเติมที่ใด debuggerd จะเก็บหินหลุมฝังศพไว้มากถึง 10 อัน วนผ่านตัวเลข 00 ถึง 09 และเขียนทับหลุมฝังศพที่มีอยู่ตามความจำเป็น

หลุมฝังศพมีข้อมูลเดียวกันกับการถ่ายโอนข้อมูลการแครช และข้อมูลเพิ่มเติมอีกสองสามอย่าง ตัวอย่างเช่น มันรวม backtraces สำหรับเธรด ทั้งหมด (ไม่ใช่แค่เธรดที่หยุดทำงาน) การลงทะเบียนทศนิยม ดัมพ์สแต็กดิบ และการถ่ายโอนข้อมูลหน่วยความจำรอบๆ ที่อยู่ในรีจิสเตอร์ มีประโยชน์มากที่สุดมันยังรวมถึงแผนที่หน่วยความจำแบบเต็ม (คล้ายกับ /proc/ pid /maps ) นี่คือตัวอย่างที่มีคำอธิบายประกอบจากความผิดพลาดของกระบวนการ ARM แบบ 32 บิต:

memory map: (fault address prefixed with --->)
--->ab15f000-ab162fff r-x 0 4000 /system/xbin/crasher (BuildId:
b9527db01b5cf8f5402f899f64b9b121)

มีสองสิ่งที่ควรทราบที่นี่ อย่างแรกคือบรรทัดนี้ขึ้นต้นด้วย "--->" แผนที่จะมีประโยชน์มากที่สุดเมื่อการชนของคุณไม่ได้เป็นเพียงการอ้างอิงตัวชี้ว่างเท่านั้น หากที่อยู่ข้อผิดพลาดมีขนาดเล็ก อาจเป็นตัวแปรบางอย่างของการละเลยตัวชี้ค่า 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

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