The Checker Framework 1.6.4
在檢查框架增強Java的類型系統。這讓軟件開發人員檢測並防止類似空指針異常,意想不到的副作用,SQL注入,並發錯誤,誤平等的測試,以及其他運行時錯誤在測試過程中,或在他們的Java程序領域中出現的錯誤。在檢查框架包括編譯器插件,發現缺陷或核實他們的缺席(“跳棋”)。它還允許你寫你自己的編譯器插件。...
在檢查框架增強Java的類型系統。這讓軟件開發人員檢測並防止類似空指針異常,意想不到的副作用,SQL注入,並發錯誤,誤平等的測試,以及其他運行時錯誤在測試過程中,或在他們的Java程序領域中出現的錯誤。在檢查框架包括編譯器插件,發現缺陷或核實他們的缺席(“跳棋”)。它還允許你寫你自己的編譯器插件。...