FaceBook/infer-Java空指针检查器

Infer : Eradicate

Eradicate

Eradicate是专门用来检查Java的注解@Nullable的(汗颜,用了这么久的Java,没用过这一注解),属于infer检查器集合中的一员,目的是根除Java的空指针错误.

@Nullable注解用来说明参数、变量和返回值可能为null.

一旦你用Nullable注解了,但是你没有做检查,Infer:Eradicate就会分析出来.

命令

和checkers的使用一样,用-a eradicate

注意

这个检查器只对Java语言有作用,其他没用.

你可能感兴趣的:(FaceBook/infer-Java空指针检查器)