預先建構的 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 設為修正程式,修復工具就會將建議的修正內容輸出至 stdout。或者,您也可以使用 --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>