Java permits static methods to be referenced by null. But Nullness Checker currently prohibits it.

Consider this example:

import org.checkerframework.checker.nullness.qual.*;


public class Test
{            
    public static void main(String args[])
    {
        Test obj= null;
        obj.staticMethod();                          
    }
     
    private static void staticMethod()
    {
        //Can be called by null reference
        System.out.println("static method, can be called by null reference");
         
    }
          
}

Output using Nullness Checker:
Error: [dereference.of.nullable] dereference of possibly-null reference obj line 9

Output in IDE: static method, can be called by null reference

Java permits static methods to be referenced by null. But Nullness Checker currently prohibits it.

Start by reproducing the reported Test example with the Nullness Checker and inspect how static method invocations are handled. The fix is complete when a static method can be referenced through a null expression without a nullness error, while genuine nullable instance dereferences remain diagnosed.