有静态分析工具可以分析出因为拆箱导致的空指针 NPE 吗？

[inza9hi]

我一直以为静态分析已经很强大了， 尝试了下 IDEA 自带的工具和 PMD 竟然都分析不出来。

PS: A 是 Pb 生成的，B 是手写的，所以导致有用 int ，有用 integer

@Data
    static class A{
        private int a;
    }
    @Data
    static class B  {
        private Integer b;
    }

    public static void main(String[] args) {
        A a = new A();
        B b = new B();
       a.setA(b.getB());
    }

[xuld]

这个需求静态分析肯定是做不到的，除非静态分析把所有 Integer 到 int 的转换都报错

[phrack]

本来不想回复的，不过 1 楼一来就乱说，不得不说某个互联网法则确实有用。

这个肯定是能做的，很简单。

[inza9hi]

@xuld 找到所有 Integer 转 int 的地方，判断这个值是否为 null

[kaneg]

还是有很多地方只有在运行时才知道是否为 null ，比如从 map 或者数据库中取值。