預先建構的 ABI 用量檢查工具

Android 共用程式庫會不時進行改良。因此,要持續更新預先建構的二進位檔,必須花費相當大的心力。在 Android 9 或更早版本中,依附已移除的程式庫或 ABI 的預建二進位檔,只會在執行階段失敗連結。開發人員必須追蹤記錄,找出過時的預先建構二進位檔。在 Android 10 中,我們推出了以符號為基礎的 ABI 用途檢查器。該檢查工具可在建構時偵測過時的預先建構二進位檔,因此共用資料庫開發人員可知道哪些預先建構的二進位檔可能會因變更而損毀,以及必須重新建構哪些預先建構的二進位檔。

以符號為基礎的 ABI 用法檢查器

以符號為基礎的 ABI 用法檢查器會模擬主機上的 Android 動態連結器。檢查器會將預先建構的二進位檔連結至預先建構二進位檔的依附元件,並檢查是否已解析所有未定義的符號。

首先,檢查器會檢查預先建構的二進位檔的目標架構。如果預先建構的二進位檔並非以 ARM、AArch64、x86 或 x86-64 架構為目標,檢查器會略過預先建構的二進位檔。

其次,預先建構的二進位檔依附元件必須列在 LOCAL_SHARED_LIBRARIESshared_libs 中。建構系統會將模組名稱解析為共用程式庫的相符變化版本 (即 corevendor)。

第三,檢查器會將 DT_NEEDED 項目與 LOCAL_SHARED_LIBRARIESshared_libs 進行比較。具體來說,檢查器會從每個共用程式庫中擷取 DT_SONAME 項目,並將這些 DT_SONAME 與預先建構的二進位檔中記錄的 DT_NEEDED 項目進行比較。如果不相符,系統會傳送錯誤訊息。

第四,檢查器會解析預先建構的二進位檔中的未定義符號。這些未定義的符號必須在其中一個相依項目中定義,且符號繫結必須為 GLOBALWEAK。如果無法解析未定義的符號,系統會傳送錯誤訊息。

預先建構模組屬性

預先建構的二進位檔的依附元件必須在下列其中一個位置指定:

  • Android.bp:shared_libs: ["libc", "libdl", "libm"],
  • Android.mk:LOCAL_SHARED_LIBRARIES := libc libdl libm

如果預先建構的二進位檔具有一些無法解析的未定義符號,請指定下列其中一項:

  • Android.bp:allow_undefined_symbols: true,
  • Android.mk:LOCAL_ALLOW_UNDEFINED_SYMBOLS := true

如要讓預先建構的二進位檔略過 ELF 檔案檢查,請指定下列其中一項:

  • Android.bp:check_elf_files: false,
  • Android.mk:LOCAL_CHECK_ELF_FILES := false

執行檢查工具

檢查器會涵蓋 Android 建構程序中的所有 ELF 預建模組。

如要單獨執行檢查器以加快處理時間:

m check-elf-files

ABI 錯誤修正工具

自動修正工具可協助解決 ABI 檢查錯誤。只要使用 Android.bp / Android.mk 做為輸入內容,即可執行修正程式,修正程式會將建議的修正內容列印到標準輸出端。您可以選擇使用 --in-place 選項執行修正程式,直接使用建議的修正方式更新 Android.bp / Android.mk。

針對 Android.bp:

m fix_android_bp_prebuilt
# Print the fixed Android.bp to stdout.
fix_android_bp_prebuilt <path-to-Android.bp>
# Update the Android.bp in place.
fix_android_bp_prebuilt --in-place <path-to-Android.bp>

針對 Android.mk,

m fix_android_mk_prebuilt
# Print the fixed Android.mk to stdout.
fix_android_mk_prebuilt <path-to-Android.mk>
# Update the Android.mk in place.
fix_android_mk_prebuilt --in-place <path-to-Android.mk>