NullAwayJava 代碼中的 NPE 檢測(cè)工具

NullAway 是 Uber 開(kāi)源的一款幫助你清除 Java 代碼中的 NullPointerException（NPE）的工具，快速且實(shí)用。NullAway 類似于 Kotlin 和 Swift 語(yǔ)言中的基于類型的可空性檢查，能顯著提高開(kāi)發(fā)人員的生產(chǎn)力，同時(shí)也滿足高要求的安全檢查需求。

要使用 NullAway，你必須先在代碼（字段，方法參數(shù)或返回值為 null）中添加@Nullable注釋。給定這些注釋，NullAway 執(zhí)行本地的一系列一致性檢查，以確保在代碼中取消引用的任何指針不能為空。

NullAway 很快。它被構(gòu)建為 Error Prone 的一個(gè)插件，Error Prone 的運(yùn)行代碼檢查作為 Java 編譯過(guò)程標(biāo)準(zhǔn)的一部分。此編譯器的集成允許檢查編譯器已經(jīng)完成的工作，如代碼解析和類型檢查。此外，NullAway 和 Error Prone 可直接集成到我們用于 Android 代碼的構(gòu)建工具 Buck 所支持的快速內(nèi)存并行構(gòu)建中。因此，NullAway 可以比在正常構(gòu)建過(guò)程之外運(yùn)行的工具快得多。