為了進行代碼及產品保護,幾乎所有的非開源App都會進行代碼混淆。這樣,當收集到崩潰信息后,就需要進行符號化來還原代碼信息,以便開發者可以定位Bug。基于使用SDK和NDK的不同,Android的崩潰分為兩類:Java崩潰和C/C++崩潰。Java崩潰通過mapping.txt文件進行符號化,比較簡單直觀。而C/C++崩潰的符號化則需要使用Google自帶的一些NDK工具,比如ndk-stack、addr2line、objdump等。本文不去討論如何使用這些工具,有興趣的朋友可以參考之前尹春鵬寫的另一篇文章《如何定位Android NDK開發中遇到的錯誤》,里面做了詳細的描述。
基于NDK的Android開發都會生成一個動態鏈接庫(so),它是基于C/C++編譯生成的。動態鏈接庫在Linux系統下廣泛使用,而Android系統底層是基于Linux的,所以NDK so庫的編譯生成遵循相同的規則,只不過Google NDK把相關的交叉編譯工具都封裝了。
Ndk-build編譯時會生成的兩個同名的so庫,位于不同的目錄/project path/libs/armeabi/xxx.so和/project path/obj/local/armeabi/xxx.so,比較兩個so文件會發現體積相差很大。前者會跟隨App一起發布,所以盡可能地小,而后者包含了很多調試信息,主要為了gdb調試的時候使用,當然,NDK的日志符號化信息也包含其中。
本文主要針對這個包含調試信息的so動態庫,深入分析它的組成結構。在開始之前,先來說說這樣做的目的或者好處。現在的App基本都會采集上報崩潰時的日志信息,無論是采用第三方云平臺,還是自己搭建云服務,都要將含調試信息的so動態庫上傳,實現云端日志符號化以及云端可視化管理。
移動App的快速迭代,使得我們必須存儲管理每一個版本的debug so庫,而其包含了很多與符號化無關的信息。如果我們只提取出符號化需要的信息,那么符號化文件的體積將會呈現數量級的減少。同時可以在自定義的符號化文件中添加App的版本號等定制化信息,實現符號化提取、上傳到云端、云端解析及可視化等自動化部署。另外,從技術角度講,開發者將不再害怕看到“unresolved symbol” linking errors,可以更從容地debugging C/C++ crash或進行一些hacking操作。
首先通過readelf來看看兩個不同目錄下的so庫有什么不同。
從中可以清楚看到,包含調試信息的so庫多了8個.debug_開頭的條目以及.symtab和.strtab條目。符號化的本質,是通過堆棧中的地址信息,還原代碼本來的語句以及相應的行號,所以這里只需解析.debug_ line和.symtab,終獲取到如下的信息就可以實現符號化了。
通常,目標文件分為三類:relocatable文件、executable文件和shared object文件,它們格式稱為ELF(Executable and Linking Format),so動態庫屬于第三類shared object,它的整體組織結構如下:
ELF Header文件頭的結構如下,記錄了文件其他內容在文件中的偏移以及大小信息。這里以32bit為例:
其中e_ident為固定16個字節大小的數組,稱為ELF Identification,包含了處理器類型、文件編碼格式、機器類型等,具體結構如下:
該部分包含了除ELF Header、program header table以及section header table之外的所有信息。通過section header table可以找到每一個section的基本信息,如名稱、類型、偏移量等。
先來看看Section Header的內容,仍以32-bit為例:
通過Section Header的sh_name可以找到指定的section,比如.debug_line、.symbol、.strtab。
String Table包含一系列以\0結束的字符序列,后一個字節設置為\0,表明所有字符序列的結束,比如:
String Table也屬于section,只不過它的偏移量直接在ELF Header中的e_shstrndx字段指定。String Table的讀取方法是,從指定的index開始,直到遇到休止符。比如要section header中sh_name獲取section的名稱,假設sh_name = 7, 則從string table字節流的第7個index開始(注意這里從0開始),一直讀到個休止符(index=18),讀取到的名稱為.debug_line。
該部分包含了程序符號化的定義相關信息,比如函數定義、變量定義等,每一項的定義如下:
Symbol的類型包含以下幾種:
其中STT_FUNC就是我們要找的函數symbol。然后通過st_name從symbol字符串表中獲取到相應的函數名(如JNI_OnLoad)。當symbol類型為STT_FUNC時,st_value代表該symbol的起始地址,而(st_value+st_size)代表該symbol的結束地址。
回顧之前提到的.symtab和.strtab兩個部分,對應的便是Symbol Section和Symbol String Section。
DWARF是一種調試文件格式,很多編譯器和調試器都通過它進行源碼調試(gdb等)。盡管它是一種獨立的目標文件格式,但往往嵌入在ELF文件中。前面通過readelf看到的8個.debug_* Section全部都屬于DWARF格式。本文將只討論與符號化相關的.debug_line部分,更多的DWARF信息請查看參考文獻的內容。
.debug_line部分包含了行號信息,通過它可以將代碼語句和機器指令地址對應,從而進行源碼調試。.debug_line由很多子項組成,每個子項都包含類似數據塊頭的描述,稱為Statement Program Prologue。Prologue提供了解碼程序指令和跳轉到其他語句的信息,它包含如下字段,這些字段是以二進制格式順序存在的:
這里用到的機器指令可以分為三類:
這里不做機器指令的解析說明,感興趣的,可以查看參考文獻的內容。
通過.debug_line,我們終可以獲得如下信息:文件路徑、文件名、行號以及起始地址。
后,我們匯總一下整個符號化提取的過程:
從ELF Header中獲知32bit或者64bit,以及大端還是小端,基于此讀取后面的內容; 從ELF Header中獲得Section Header Table在文件中的位置; 讀取Section Header Table,從中獲得.debug_line、.symtab以及.strtab三個section在文中的位置; 讀取.symtab和.strtab兩個section,后獲得所有function symbol的名稱、起始地址以及結束地址; 讀取.debug_line,按照DWARF格式解析獲取文件名稱、路徑、行號以及起始地址; 對比步驟4和5中獲取的結果,進行對比合并,形成終的結果。
本站文章版權歸原作者及原出處所有 。內容為作者個人觀點, 并不代表本站贊同其觀點和對其真實性負責,本站只提供參考并不構成任何投資及應用建議。本站是一個個人學習交流的平臺,網站上部分文章為轉載,并不用于任何商業目的,我們已經盡可能的對作者和來源進行了通告,但是能力有限或疏忽,造成漏登,請及時聯系我們,我們將根據著作權人的要求,立即更正或者刪除有關內容。本站擁有對此聲明的最終解釋權。