文件名称：NPEDetector:Java程序的空解除引用验证程序-开源
文件大小：149KB
文件格式：GZ
更新时间：2024-05-15 01:55:07
开源软件
NPEDetector是一种工具，用于静态检测Java程序中的安全性和可能导致NullPointerException的取消引用。 NPEDetector设计为声音验证程序，可保证已证明的引用的安全性，但可能会错误地将安全引用标记为错误。 NPEDetector使用WALA，Watson Libraries for Analysis构建。