รูปแบบไฟล์ที่ดำเนินการได้ Dalvik

เอกสารนี้อธิบายเลย์เอาต์และเนื้อหาของ.dexไฟล์ ซึ่งใช้เก็บชุดคำจำกัดความของคลาสและข้อมูลเสริมที่เกี่ยวข้อง

คำแนะนำเกี่ยวกับประเภท

LEB128

LEB128 ("ฐานเลขฐาน 128 Little-Endian Base 128") คือการเข้ารหัสที่มีความยาวแปรผันสำหรับจํานวนเต็มที่มีหรือไม่มีเครื่องหมายแบบใดก็ได้ รูปแบบนี้ยืมมาจากข้อกำหนด DWARF3 ในไฟล์ .dex ระบบจะใช้ LEB128 ในการเข้ารหัสจํานวน 32 บิตเท่านั้น

ค่าที่เข้ารหัส LEB128 แต่ละค่าประกอบด้วยไบต์ 1-5 ไบต์ ซึ่งรวมกันเป็นค่า 32 บิตค่าเดียว โดยแต่ละไบต์จะมีการตั้งค่าบิตสำคัญที่สุด ยกเว้นไบต์สุดท้ายในลำดับ ซึ่งจะมีบิตสำคัญที่สุดเป็น 0 ส่วนอีก 7 บิตที่เหลือของแต่ละไบต์คือเพย์โหลด โดย 7 บิตที่มีนัยสำคัญน้อยที่สุดของจำนวนจะอยู่ในไบต์แรก ส่วนอีก 7 บิตถัดไปจะอยู่ในแซนด์บ็อกซ์ที่ 2 และต่อๆ ไป ในกรณีของ LEB128 แบบมีเครื่องหมาย (sleb128) ระบบจะขยายค่าลงท้ายของไบต์สุดท้ายในลำดับเพื่อหาค่าสุดท้าย ในกรณี unsigned (uleb128) ระบบจะตีความบิตที่ไม่ได้แสดงอย่างชัดเจนเป็น 0

ตัวแปร uleb128p1 ใช้เพื่อแสดงค่าที่มีเครื่องหมาย โดยค่าที่แสดงคือค่า บวก 1 ที่เข้ารหัสเป็น uleb128 ซึ่งทำให้การเข้ารหัส -1 (หรืออาจเรียกว่าค่าที่ไม่มีการนํานําหน้า 0xffffffff) กลายเป็นไบต์เดียว (แต่ไม่มีตัวเลขติดลบอื่นๆ) และมีประโยชน์ในกรณีที่ตัวเลขที่แสดงต้องไม่เป็นลบหรือเป็น -1 (หรือ 0xffffffff) และในกรณีที่ไม่อนุญาตให้ใช้ค่าติดลบอื่นๆ (หรือในกรณีที่ไม่จําเป็นต้องใช้ค่าที่ไม่มีการนํานําหน้าขนาดใหญ่)

ตัวอย่างรูปแบบมีดังนี้

เลย์เอาต์ไฟล์

รูปแบบคอนเทนเนอร์

เวอร์ชัน 41 เปิดตัวรูปแบบคอนเทนเนอร์ใหม่สำหรับข้อมูล DEX โดยมีเป้าหมายเพื่อประหยัดพื้นที่ รูปแบบคอนเทนเนอร์นี้ช่วยให้รวมไฟล์ DEX เชิงตรรกะหลายไฟล์เข้าเป็นไฟล์จริงไฟล์เดียวได้ รูปแบบใหม่ส่วนใหญ่เป็นการต่อไฟล์ในลักษณะที่ง่ายที่สุดในรูปแบบก่อนหน้า โดยมีความแตกต่างอยู่บ้างดังนี้

• file_size คือขนาดของไฟล์เชิงตรรกะ ไม่ใช่ไฟล์จริง ซึ่งสามารถใช้เพื่อวนซ้ำไฟล์ตรรกะทั้งหมดในคอนเทนเนอร์
• ไฟล์ dex เชิงตรรกะอาจอ้างอิงข้อมูลในคอนเทนเนอร์ที่ใหม่กว่า (แต่ไม่ใช่ข้อมูลเก่ากว่า) ซึ่งช่วยให้ไฟล์ dex แชร์ข้อมูลระหว่างกันได้ เช่น สตริง
• ส่วนต่างทั้งหมดจะสัมพันธ์กับไฟล์จริง ไม่มีออฟเซตที่สัมพันธ์กับส่วนหัว วิธีนี้ช่วยให้มั่นใจได้ว่าส่วนที่มีออฟเซตจะแชร์ระหว่างไฟล์ตรรกะได้
• ส่วนหัวจะเพิ่มช่องใหม่ 2 ช่องเพื่ออธิบายขอบเขตของคอนเทนเนอร์ การตรวจสอบนี้เป็นการตรวจสอบความสอดคล้องเพิ่มเติมและช่วยให้การพอร์ตโค้ดไปยังรูปแบบใหม่ได้ง่ายขึ้น
• ขณะนี้ data_size และ data_off ไม่มีการใช้งาน ข้อมูลอาจกระจายอยู่ในไฟล์ตรรกะหลายไฟล์และไม่จำเป็นต้องต่อเนื่องกัน

คําจํากัดความของบิตฟิลด์ สตรีง และค่าคงที่

DEX_FILE_MAGIC

ฝังอยู่ใน header_item

อาร์เรย์/สตริงคงที่ DEX_FILE_MAGIC คือรายการไบต์ที่ต้องปรากฏที่ส่วนต้นของไฟล์ .dex เพื่อให้ระบบจดจำไฟล์ดังกล่าว ค่านี้มีบรรทัดใหม่ ("\n" หรือ 0x0a) และไบนารี Null ("\0" หรือ 0x00) โดยเจตนาเพื่อช่วยในการตรวจหาความเสียหายบางรูปแบบ ค่าดังกล่าวยังเข้ารหัสหมายเลขเวอร์ชันรูปแบบเป็นตัวเลขทศนิยม 3 หลัก ซึ่งคาดว่าจะเพิ่มขึ้นเรื่อยๆ ตามกาลเวลาเมื่อรูปแบบพัฒนาขึ้น

ubyte[8] DEX_FILE_MAGIC = { 0x64 0x65 0x78 0x0a 0x30 0x33 0x39 0x00 }
                        = "dex\n039\0"

หมายเหตุ: มีการรองรับรูปแบบเวอร์ชัน 040 ในรุ่น Android 10.0 ซึ่งขยายชุดอักขระที่อนุญาตใน SimpleNames

หมายเหตุ: มีการรองรับรูปแบบเวอร์ชัน 039 ในรุ่น Android 9.0 ซึ่งเปิดตัวไบต์โค้ดใหม่ 2 รายการ ได้แก่ const-method-handle และ const-method-type (แต่ละรายการอธิบายไว้ในตารางสรุปชุดไบต์โค้ด) ใน Android 10 เวอร์ชัน 039 จะขยายรูปแบบไฟล์ DEX ให้รวมข้อมูล API ที่ซ่อนอยู่ซึ่งใช้ได้กับไฟล์ DEX ในเส้นทางคลาสบูตเท่านั้น

หมายเหตุ: มีการรองรับรูปแบบเวอร์ชัน 038 ในรุ่น Android 8.0 เวอร์ชัน 038 เพิ่มไบต์โค้ดใหม่ (invoke-polymorphic และ invoke-custom) และข้อมูลสำหรับแฮนเดิลเมธอด

หมายเหตุ: มีการรองรับรูปแบบเวอร์ชัน 037 ในรุ่น Android 7.0 เวอร์ชัน Android ส่วนใหญ่ก่อนเวอร์ชัน 037 ใช้รูปแบบเวอร์ชัน 035 ความแตกต่างเพียงอย่างเดียวระหว่างเวอร์ชัน 035 กับ 037 คือการเพิ่มวิธีการเริ่มต้นและการปรับ invoke

หมายเหตุ: รูปแบบนี้เคยมีการใช้งานในเวอร์ชันก่อนหน้าอย่างน้อย 2 เวอร์ชันในซอฟต์แวร์เวอร์ชันสาธารณะที่พร้อมให้บริการอย่างแพร่หลาย ตัวอย่างเช่น เวอร์ชัน 009 ใช้กับรุ่น M3 ของแพลตฟอร์ม Android (พฤศจิกายน-ธันวาคม 2007) และเวอร์ชัน 013 ใช้กับรุ่น M5 ของแพลตฟอร์ม Android (กุมภาพันธ์-มีนาคม 2008) รูปแบบเวอร์ชันก่อนหน้าเหล่านี้มีความแตกต่างกันอย่างมากจากเวอร์ชันที่อธิบายไว้ในเอกสารนี้ในหลายประการ

ENDIAN_CONSTANT และ REVERSE_ENDIAN_CONSTANT

ฝังอยู่ใน header_item

ค่าคงที่ ENDIAN_CONSTANT ใช้เพื่อระบุรูปแบบการจัดเก็บข้อมูลของไฟล์ที่พบ แม้ว่ารูปแบบ .dex มาตรฐานจะเป็น Little-endian แต่การติดตั้งใช้งานอาจเลือกที่จะสลับไบต์ หากการติดตั้งใช้งานพบส่วนหัวที่มี endian_tag เป็น REVERSE_ENDIAN_CONSTANT แทนที่จะเป็น ENDIAN_CONSTANT ก็จะทราบว่าไฟล์มีการสลับไบต์จากรูปแบบที่คาดไว้

uint ENDIAN_CONSTANT = 0x12345678;
uint REVERSE_ENDIAN_CONSTANT = 0x78563412;

NO_INDEX

ฝังอยู่ใน class_def_item และ debug_info_item

ค่าคงที่ NO_INDEX ใช้เพื่อระบุว่าไม่มีค่าดัชนี

หมายเหตุ: ค่านี้ไม่ได้กําหนดให้มีค่าเป็น 0 เนื่องจากโดยทั่วไปแล้วค่าดังกล่าวจะเป็นดัชนีที่ถูกต้อง

ค่าที่เลือกสําหรับ NO_INDEX จะแสดงเป็นไบต์เดี่ยวได้ในการเข้ารหัส uleb128p1

uint NO_INDEX = 0xffffffff;    // == -1 if treated as a signed int

คำจำกัดความของ access_flags

ฝังอยู่ใน class_def_item, encoded_field, encoded_method และ InnerClass

ฟิลด์บิตของ Flag เหล่านี้ใช้เพื่อระบุการช่วยเหลือพิเศษและพร็อพเพอร์ตี้โดยรวมของคลาสและสมาชิกของคลาส

* อนุญาตเฉพาะในคำอธิบายประกอบ InnerClass และจะต้องปิดใน class_def_item เสมอ

การเข้ารหัส UTF-8 ที่แก้ไขแล้ว

รูปแบบ .dex จะเข้ารหัสข้อมูลสตริงในรูปแบบ UTF-8 ที่แก้ไขแล้วซึ่งเป็นมาตรฐานโดยพฤตินัย ซึ่งต่อไปนี้จะเรียกว่า MUTF-8 เพื่อรองรับระบบเดิมได้ง่ายขึ้น แบบฟอร์มนี้เหมือนกับ UTF-8 มาตรฐาน ยกเว้น

• ระบบจะใช้เฉพาะการเข้ารหัสแบบ 1, 2 และ 3 ไบต์เท่านั้น
• จุดโค้ดในช่วง U+10000 … U+10ffff จะเข้ารหัสเป็นคู่ตัวแทน โดยแต่ละคู่จะแสดงเป็นค่าที่เข้ารหัส 3 ไบต์
• รหัสจุด U+0000 เข้ารหัสในรูปแบบ 2 ไบต์
• ไบต์ Null ธรรมดา (ค่า 0) หมายถึงจุดสิ้นสุดของสตริง เช่นเดียวกับการตีความภาษา C มาตรฐาน

สรุป 2 รายการแรกข้างต้นได้ดังนี้ MUTF-8 เป็นรูปแบบการเข้ารหัสสำหรับ UTF-16 ไม่ใช่รูปแบบการเข้ารหัสอักขระ Unicode ที่ตรงไปตรงมามากกว่า

2 รายการสุดท้ายข้างต้นช่วยให้คุณรวมจุดโค้ด U+0000 ไว้ในสตริงได้และยังจัดการสตริงดังกล่าวเป็นสตริงที่สิ้นสุดด้วยค่า Null สไตล์ C ได้ด้วย

อย่างไรก็ตาม การเข้ารหัสพิเศษของ U+0000 หมายความว่าผลลัพธ์ของการเรียกใช้ฟังก์ชัน C มาตรฐาน strcmp() ในคู่สตริง MUTF-8 ไม่ได้บ่งบอกถึงผลลัพธ์ที่ลงนามอย่างถูกต้องเสมอไปจากการเปรียบเทียบสตริงที่ไม่เท่ากัน ซึ่งแตกต่างจาก UTF-8 ปกติ เมื่อต้องคำนึงถึงลําดับ (ไม่ใช่แค่ความเท่าเทียม) วิธีเปรียบเทียบสตริง MUTF-8 ที่ตรงที่สุดคือการถอดรหัสทีละอักขระ แล้วเปรียบเทียบค่าที่ถอดรหัส (แต่คุณก็ใช้วิธีอื่นๆ ที่ชาญฉลาดกว่านั้นได้เช่นกัน)

โปรดดูข้อมูลเพิ่มเติมเกี่ยวกับการเข้ารหัสอักขระในมาตรฐาน Unicode อันที่จริงแล้ว MUTF-8 ใกล้เคียงกับการเข้ารหัส CESU-8 (ซึ่งไม่ค่อยเป็นที่รู้จัก) มากกว่าการเข้ารหัส UTF-8

การเข้ารหัส encoded_value

ฝังอยู่ใน annotation_element และ encoded_array_item

encoded_value คือ Structured Data ที่มีการจัดโครงสร้างตามลําดับชั้นแบบ (เกือบ) อิสระซึ่งเข้ารหัสไว้ การเข้ารหัสมีไว้เพื่อทำให้ข้อมูลมีขนาดเล็กและแยกวิเคราะห์ได้ง่าย

รูปแบบค่า

รูปแบบ encoded_array

รูปแบบ encoded_annotation

รูปแบบ annotation_element

ไวยากรณ์สตริง

รายการในไฟล์ .dex มีด้วยกันหลายประเภท ซึ่งสุดท้ายแล้วจะอ้างอิงสตริง คําจํากัดความรูปแบบ BNF ต่อไปนี้บ่งบอกไวยากรณ์ที่ยอมรับได้สําหรับสตริงเหล่านี้

SimpleName

SimpleName เป็นพื้นฐานของไวยากรณ์ของชื่อสิ่งอื่นๆ รูปแบบ .dex ช่วยให้เกิดความยืดหยุ่นพอสมควร (มากกว่าภาษาต้นฉบับที่พบบ่อยที่สุด) กล่าวโดยย่อคือ ชื่อแบบง่ายประกอบด้วยอักขระหรือตัวเลข ASCII ขนาดเล็ก สัญลักษณ์ ASCII ขนาดเล็กบางรายการ และจุดโค้ดที่ไม่ใช่ ASCII ส่วนใหญ่ที่ไม่ใช่อักขระควบคุม เว้นวรรค หรือสัญลักษณ์พิเศษ ตั้งแต่เวอร์ชัน 040 รูปแบบนี้ยังอนุญาตให้ใช้อักขระเว้นวรรค (หมวดหมู่ Unicode Zs ) เพิ่มเติมด้วย โปรดทราบว่าจุดโค้ดตัวแทน (ในช่วง U+d800 … U+dfff) ไม่ได้ถือว่าเป็นอักขระชื่อที่ถูกต้อง แต่อักขระเสริมของ Unicode ถูกต้อง (ซึ่งแสดงโดยทางเลือกสุดท้ายของกฎสำหรับ SimpleNameChar) และควรแสดงในไฟล์เป็นคู่ของจุดโค้ดตัวแทนในการเข้ารหัส MUTF-8

MemberName

ใช้โดย field_id_item และ method_id_item

MemberName คือชื่อสมาชิกของคลาส โดยสมาชิกคือฟิลด์ เมธอด และคลาสภายใน

FullClassName

FullClassName คือชื่อคลาสที่สมบูรณ์ในตัวเอง ซึ่งรวมถึงตัวระบุแพ็กเกจที่ไม่บังคับตามด้วยชื่อที่ต้องระบุ

TypeDescriptor

ใช้โดย type_id_item

TypeDescriptor คือการแสดงประเภทใดก็ได้ ซึ่งรวมถึงประเภทพื้นฐาน คลาส อาร์เรย์ และ void ดูความหมายของเวอร์ชันต่างๆ ได้ที่ด้านล่าง

ShortyDescriptor

ใช้โดย proto_id_item

ShortyDescriptor คือการแสดงรูปแบบย่อของโปรโตไทป์เมธอด ซึ่งรวมถึงประเภทผลลัพธ์และพารามิเตอร์ ยกเว้นว่าจะไม่มีความแตกต่างระหว่างประเภทการอ้างอิง (คลาสหรืออาร์เรย์) ต่างๆ แต่จะใช้อักขระ 'L' ตัวเดียวแทน

ความหมายของ TypeDescriptor

ความหมายของตัวแปรแต่ละรายการของ TypeDescriptor มีดังนี้

รายการและโครงสร้างที่เกี่ยวข้อง

ส่วนนี้ประกอบด้วยคำจำกัดความของรายการระดับบนสุดแต่ละรายการที่อาจปรากฏในไฟล์ .dex

header_item

ปรากฏในส่วนหัว

การจัดแนว: 4 ไบต์

map_list

ปรากฏในส่วนข้อมูล

อ้างอิงจาก header_item

การจัดแนว: 4 ไบต์

รายการนี้เป็นรายการเนื้อหาทั้งหมดของไฟล์ตามลำดับ คำสั่งนี้มีข้อมูลซ้ำซ้อนบางอย่างที่เกี่ยวข้องกับ header_item แต่มีไว้เพื่อให้ใช้วนซ้ำทั้งไฟล์ได้ง่ายๆ ประเภทหนึ่งๆ ต้องปรากฏในแผนที่ไม่เกิน 1 ครั้ง แต่ไม่มีข้อจำกัดว่าประเภทคำสั่งใดจะปรากฏได้บ้าง นอกเหนือจากข้อจำกัดที่รูปแบบส่วนที่เหลือบอกเป็นนัย (เช่น ส่วน header ต้องปรากฏก่อน ตามด้วยส่วน string_ids เป็นต้น) นอกจากนี้ รายการแผนที่ต้องเรียงตามออฟเซตเริ่มต้นและต้องไม่ซ้อนทับกัน

รูปแบบ map_item

พิมพ์รหัส

string_id_item

ปรากฏในส่วน string_ids

การจัดแนว: 4 ไบต์

string_data_item

ปรากฏในส่วนข้อมูล

การจัดแนว: ไม่มี (จัดแนวตามไบต์)

type_id_item

ปรากฏในส่วน type_ids

การจัดแนว: 4 ไบต์

proto_id_item

ปรากฏในส่วน proto_ids

การจัดแนว: 4 ไบต์

field_id_item

ปรากฏในส่วน field_ids

การจัดแนว: 4 ไบต์

method_id_item

ปรากฏในส่วน method_ids

การจัดแนว: 4 ไบต์

class_def_item

ปรากฏในส่วน class_defs

การจัดแนว: 4 ไบต์

call_site_id_item

ปรากฏในส่วน call_site_ids

การจัดแนว: 4 ไบต์

call_site_item

ปรากฏในส่วนข้อมูล

การจัดแนว: ไม่มี (จัดแนวตามไบต์)

call_site_item คือ encoded_array_item ที่มีองค์ประกอบซึ่งสอดคล้องกับอาร์กิวเมนต์ที่ส่งไปยังเมธอด Bootstrap Linker อาร์กิวเมนต์ 3 รายการแรก ได้แก่

1. แฮนเดิลเมธอดที่แสดงถึงเมธอดลิงก์บูต (VALUE_METHOD_HANDLE)
2. ชื่อเมธอดที่ลิงก์บูตควรแก้ไข (VALUE_STRING)
3. ประเภทเมธอดที่สอดคล้องกับประเภทของชื่อเมธอดที่จะแก้ไข (VALUE_METHOD_TYPE)

อาร์กิวเมนต์เพิ่มเติมคือค่าคงที่ที่ส่งไปยังเมธอดลิงเกอร์บูตสแtrap โดยระบบจะส่งอาร์กิวเมนต์เหล่านี้ตามลําดับและไม่มีการแปลงประเภท

แฮนเดิลเมธอดที่แสดงถึงเมธอดลิงเกอร์บูตสแtrap ต้องมีประเภทผลลัพธ์เป็น java.lang.invoke.CallSite พารามิเตอร์ 3 ประเภทแรก ได้แก่

1. java.lang.invoke.Lookup
2. java.lang.String
3. java.lang.invoke.MethodType

ประเภทพารามิเตอร์ของอาร์กิวเมนต์เพิ่มเติมจะกำหนดจากค่าคงที่ของอาร์กิวเมนต์

method_handle_item

ปรากฏในส่วน method_handles

การจัดแนว: 4 ไบต์

โค้ดประเภทแฮนเดิลเมธอด

class_data_item

อ้างอิงจาก class_def_item

ปรากฏในส่วนข้อมูล

การจัดแนว: ไม่มี (จัดแนวตามไบต์)

หมายเหตุ: อินสแตนซ์ field_id และ method_id ขององค์ประกอบทั้งหมดต้องอ้างอิงคลาสที่กําหนดเดียวกัน

รูปแบบ encoded_field

รูปแบบ encoded_method

type_list

อ้างอิงจาก class_def_item และ proto_id_item

ปรากฏในส่วนข้อมูล

การจัดแนว: 4 ไบต์

รูปแบบ type_item

code_item

อ้างอิงจาก encoded_method

ปรากฏในส่วนข้อมูล

การจัดแนว: 4 ไบต์

รูปแบบ try_item

รูปแบบ encoded_catch_handler_list

รูปแบบ encoded_catch_handler

รูปแบบ encoded_type_addr_pair

debug_info_item

อ้างอิงจาก code_item

ปรากฏในส่วนข้อมูล

การจัดแนว: ไม่มี (จัดแนวตามไบต์)

debug_info_item แต่ละรายการจะกำหนดสถานะการทำงานของเครื่องที่เข้ารหัสไบต์ซึ่งได้รับแรงบันดาลใจจาก DWARF3 ซึ่งเมื่อตีความแล้ว จะแสดงตารางตำแหน่งและ (อาจ) ข้อมูลตัวแปรภายในสำหรับ code_item ลำดับเริ่มต้นด้วยส่วนหัวที่มีความยาวแปรผัน (ความยาวขึ้นอยู่กับจํานวนพารามิเตอร์ของเมธอด) ตามด้วยไบต์โค้ดของสถานะแมชชีน และจบด้วยไบต์ DBG_END_SEQUENCE

สถานะการทำงานของเครื่องประกอบด้วยรีจิสเตอร์ 5 รายการ รีจิสเตอร์ address แสดงออฟเซตคำสั่งใน insns_item ที่เชื่อมโยงในหน่วยโค้ด 16 บิต รีจิสเตอร์ address เริ่มต้นที่ 0 ที่จุดเริ่มต้นของdebug_info แต่ละรายการ และจะต้องเพิ่มขึ้นแบบไม่ผันผวน รีจิสเตอร์ line แสดงหมายเลขบรรทัดต้นทางที่ควรเชื่อมโยงกับรายการตารางตำแหน่งถัดไปที่เครื่องสถานะสร้างขึ้น โดยระบบจะเริ่มต้นค่าในส่วนหัวของลำดับ และค่าดังกล่าวอาจเปลี่ยนแปลงไปในทิศทางบวกหรือลบ แต่ต้องไม่น้อยกว่า 1 รีจิสทอร์ source_file แสดงไฟล์ต้นฉบับที่รายการหมายเลขบรรทัดอ้างอิงถึง โดยค่าเริ่มต้นคือค่าของ source_file_idx ใน class_def_item ตัวแปรอีก 2 ตัว ได้แก่ prologue_end และ epilogue_begin เป็นธงบูลีน (เริ่มต้นเป็น false) ซึ่งระบุว่าตำแหน่งถัดไปที่ส่งออกควรถือว่าเป็นคำนำหน้าหรือคำปิดท้ายของเมธอด สถานะการทำงานของเครื่องยังต้องติดตามชื่อและประเภทของตัวแปรภายในล่าสุดที่อยู่ในรีจิสเตอร์แต่ละรายการสำหรับรหัส DBG_RESTART_LOCAL ด้วย

ส่วนหัวมีดังนี้

ค่าของไบต์โค้ดมีดังนี้

รหัสการดำเนินการพิเศษ

ออปโค้ดที่มีค่าระหว่าง 0x0a ถึง 0xff (รวม) จะย้ายทั้งรีจิสเตอร์ line และ address เพียงเล็กน้อย แล้วส่งรายการตารางตำแหน่งใหม่ สูตรสำหรับค่าที่เพิ่มขึ้นมีดังนี้

DBG_FIRST_SPECIAL = 0x0a  // the smallest special opcode
DBG_LINE_BASE   = -4      // the smallest line number increment
DBG_LINE_RANGE  = 15      // the number of line increments represented

adjusted_opcode = opcode - DBG_FIRST_SPECIAL

line += DBG_LINE_BASE + (adjusted_opcode % DBG_LINE_RANGE)
address += (adjusted_opcode / DBG_LINE_RANGE)

annotations_directory_item

อ้างอิงจาก class_def_item

ปรากฏในส่วนข้อมูล

การจัดแนว: 4 ไบต์

หมายเหตุ: อินสแตนซ์ field_id และ method_id ขององค์ประกอบทั้งหมดต้องอ้างอิงคลาสที่กําหนดเดียวกัน

รูปแบบการกำกับเนื้อหาของฟิลด์

รูปแบบ method_annotation

รูปแบบ parameter_annotation

annotation_set_ref_list

อ้างอิงจาก parameter_annotations_item

ปรากฏในส่วนข้อมูล

การจัดแนว: 4 ไบต์

รูปแบบ annotation_set_ref_item

annotation_set_item

อ้างอิงจาก annotations_directory_item, field_annotations_item, method_annotations_item และ annotation_set_ref_item

ปรากฏในส่วนข้อมูล

การจัดแนว: 4 ไบต์

รูปแบบ annotation_off_item

annotation_item

อ้างอิงจาก annotation_set_item

ปรากฏในส่วนข้อมูล

การจัดแนว: ไม่มี (จัดแนวตามไบต์)

ค่าระดับการมองเห็น

ตัวเลือกสำหรับช่อง visibility ใน annotation_itemมีดังนี้

encoded_array_item

อ้างอิงจาก class_def_item

ปรากฏในส่วนข้อมูล

การจัดแนว: ไม่มี (จัดแนวตามไบต์)

hiddenapi_class_data_item

ส่วนนี้ประกอบด้วยข้อมูลเกี่ยวกับอินเทอร์เฟซที่จํากัดซึ่งแต่ละคลาสใช้

หมายเหตุ: ฟีเจอร์ API ที่ซ่อนอยู่เปิดตัวใน Android 10.0 และใช้ได้กับไฟล์ DEX ของคลาสในเส้นทางคลาสบูตเท่านั้น รายการ Flag ที่อธิบายไว้ด้านล่างอาจขยายการให้บริการใน Android รุ่นต่อๆ ไป ดูข้อมูลเพิ่มเติมได้ที่ข้อจํากัดเกี่ยวกับอินเทอร์เฟซที่ไม่ใช่ SDK

ประเภทของ Flag ข้อจำกัด

คําอธิบายประกอบของระบบ

คําอธิบายประกอบของระบบใช้เพื่อแสดงข้อมูลต่างๆ ของคลาส (และเมธอดและฟิลด์) โดยทั่วไปแล้ว ข้อมูลนี้จะได้รับสิทธิ์เข้าถึงโดยอ้อมจากโค้ดไคลเอ็นต์ (ไม่ใช่ระบบ) เท่านั้น

คําอธิบายประกอบของระบบจะแสดงในไฟล์ .dex เป็นการอธิบายประกอบที่มีการตั้งค่าระดับการแชร์เป็น VISIBILITY_SYSTEM

dalvik.annotation.AnnotationDefault

ปรากฏในเมธอดในอินเทอร์เฟซคำอธิบายประกอบ

คำอธิบายประกอบ AnnotationDefault จะแนบอยู่กับอินเทอร์เฟซคำอธิบายประกอบแต่ละรายการที่ต้องการระบุการเชื่อมโยงเริ่มต้น

dalvik.annotation.EnclosingClass

ปรากฏในชั้นเรียน

EnclosingClass จะมีการใส่คำอธิบายประกอบกับแต่ละคลาสซึ่งกำหนดให้เป็นสมาชิกของคลาสอื่นโดยเนื้อแท้ หรือเป็นคลาสนิรนามที่ไม่ได้กำหนดภายในเนื้อหาของเมธอด (เช่น คลาสภายในสังเคราะห์) คลาสทุกคลาสที่มีคำอธิบายประกอบนี้ต้องมีคำอธิบายประกอบ InnerClass ด้วย นอกจากนี้ ชั้นเรียนต้องไม่มีทั้งการกำกับเนื้อหา EnclosingClass และ EnclosingMethod

dalvik.annotation.EnclosingMethod

ปรากฏในชั้นเรียน

EnclosingMethod กำกับเนื้อหาจะแนบอยู่กับแต่ละคลาสซึ่งกำหนดไว้ภายในเนื้อหาของเมธอด คลาสทุกคลาสที่มีคำอธิบายประกอบนี้ต้องมีคำอธิบายประกอบ InnerClass ด้วย นอกจากนี้ ชั้นเรียนต้องไม่มีทั้งคำอธิบายประกอบ EnclosingClass และ EnclosingMethod

dalvik.annotation.InnerClass

ปรากฏในชั้นเรียน

InnerClass คำอธิบายประกอบจะแนบอยู่กับแต่ละคลาสซึ่งกำหนดไว้ในขอบเขตเชิงคําศัพท์ของคําจํากัดความของคลาสอื่น คลาสที่มีคำอธิบายประกอบนี้ต้องมีคำอธิบายประกอบEnclosingClassหรือคำอธิบายประกอบEnclosingMethodด้วย

dalvik.annotation.MemberClasses

ปรากฏในชั้นเรียน

มีการแนบคำอธิบายประกอบ MemberClasses ไว้กับแต่ละคลาสซึ่งประกาศคลาสสมาชิก (คลาสสมาชิกคือคลาสภายในโดยตรงที่มีชื่อ)

dalvik.annotation.MethodParameters

ปรากฏในวิธีการ

หมายเหตุ: คำอธิบายประกอบนี้เพิ่มเข้ามาหลังจาก Android 7.1 ระบบจะไม่สนใจการมีอยู่ของแอปใน Android เวอร์ชันเก่า

MethodParameters คําอธิบายประกอบเป็นตัวเลือกที่สามารถใช้เพื่อระบุข้อมูลเมตาของพารามิเตอร์ เช่น ชื่อพารามิเตอร์และตัวแก้ไข

คุณละเว้นคำอธิบายประกอบจากเมธอดหรือเครื่องมือสร้างได้อย่างปลอดภัยเมื่อไม่จำเป็นต้องใช้ข้อมูลเมตาพารามิเตอร์ที่รันไทม์ java.lang.reflect.Parameter.isNamePresent() ใช้เพื่อตรวจสอบว่ามีข้อมูลเมตาสำหรับพารามิเตอร์หรือไม่ และเมธอดการแสดงผลที่เกี่ยวข้อง เช่น java.lang.reflect.Parameter.getName() จะกลับไปใช้ลักษณะการทำงานเริ่มต้นเมื่อรันไทม์หากไม่มีข้อมูล

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

คําอธิบายประกอบ MethodParameters จะอธิบายเฉพาะพารามิเตอร์ของเมธอดแต่ละรายการ ดังนั้น คอมไพเลอร์อาจละเว้นการกำกับเนื้อหาทั้งหมดสำหรับตัวสร้างและเมธอดที่ไม่มีพารามิเตอร์ เพื่อประโยชน์ด้านขนาดโค้ดและประสิทธิภาพรันไทม์

อาร์เรย์ที่ระบุไว้ด้านล่างต้องมีขนาดเท่ากับโครงสร้าง method_id_item dex ที่เชื่อมโยงกับเมธอด ไม่เช่นนั้นระบบจะแสดง java.lang.reflect.MalformedParametersException ที่รันไทม์

กล่าวคือ method_id_item.proto_idx -> proto_id_item.parameters_off -> type_list.size ต้องเหมือนกับ names().length และ accessFlags().length

เนื่องจาก MethodParameters อธิบายพารามิเตอร์ของเมธอดอย่างเป็นทางการทั้งหมด แม้ว่าจะไม่ได้ประกาศอย่างชัดแจ้งหรือโดยนัยในซอร์สโค้ดก็ตาม ขนาดของอาร์เรย์จึงอาจแตกต่างจากข้อมูลลายเซ็นหรือข้อมูลเมตาอื่นๆ ที่อิงตามพารามิเตอร์ที่ประกาศอย่างชัดแจ้งในซอร์สโค้ดเท่านั้น นอกจากนี้ MethodParameters จะไม่รวมข้อมูลเกี่ยวกับพารามิเตอร์ตัวรับคำอธิบายประกอบประเภทที่ไม่มีอยู่ในลายเซ็นเมธอดจริง

dalvik.annotation.Signature

ปรากฏในคลาส ฟิลด์ และเมธอด

จะมีการแนบคำอธิบายประกอบ Signature ไว้กับแต่ละคลาส ฟิลด์ หรือเมธอดที่กําหนดในแง่ของประเภทที่ซับซ้อนกว่าที่ type_id_item จะแสดงได้ รูปแบบ .dex ไม่ได้กำหนดรูปแบบสำหรับลายเซ็น แต่มีไว้เพื่อแสดงลายเซ็นใดก็ตามที่ภาษาต้นทางกำหนดให้ใช้เพื่อให้การใช้ความหมายของภาษานั้นประสบความสำเร็จ ด้วยเหตุนี้ โดยทั่วไปแล้ว การใช้งานเครื่องเสมือนจะไม่แยกวิเคราะห์ (หรือยืนยัน) ลายเซ็น ระบบจะส่งลายเซ็นไปยัง API และเครื่องมือระดับสูงขึ้น (เช่น โปรแกรมแก้ไขข้อบกพร่อง) ดังนั้น การใช้ลายเซ็นจึงควรเขียนขึ้นเพื่อไม่ให้เกิดการคาดเดาว่าจะได้รับเฉพาะลายเซ็นที่ถูกต้อง โดยป้องกันตัวเองอย่างชัดเจนจากโอกาสที่จะได้รับลายเซ็นที่ไม่ถูกต้องตามไวยากรณ์

เนื่องจากสตริงลายเซ็นมีแนวโน้มที่จะมีเนื้อหาที่ซ้ำกันเป็นจำนวนมาก ระบบจึงกำหนดคำอธิบายประกอบ Signature เป็นอาร์เรย์ของสตริง โดยองค์ประกอบที่ซ้ำกันจะอ้างอิงถึงข้อมูลพื้นฐานเดียวกันโดยธรรมชาติ และระบบจะถือว่าลายเซ็นเป็นการต่อสตริงทั้งหมดในอาร์เรย์ ไม่มีกฎเกี่ยวกับวิธีแยกลายเซ็นออกเป็นสตริงแยกต่างหาก ขึ้นอยู่กับเครื่องมือที่สร้างไฟล์ .dex ล้วนๆ

dalvik.annotation.Throws

ปรากฏในวิธีการ

แต่ละเมธอดที่ประกาศให้แสดงข้อยกเว้นอย่างน้อย 1 ประเภทจะมีคำอธิบายประกอบ Throws อยู่ด้วย