[java] infer ignores assert behaviour

[Keruspe]

infer doesn't seem to know the assert keyword or to handle it correctly.
Simple reproducer:

keruspe@Lou /tmp/infer % cat test.java                                            
public class test {
    int test() {
        String s = null;
        return s.length();
    }
}
keruspe@Lou /tmp/infer % infer -- javac test.java                                 
Starting analysis (Infer version git-17f0b5cbe2a1d4dd5831c79ce43bdb6c0e5da230)
Analysis done

1 file analyzed


/tmp/infer/test.java:4: error: NULL_DEREFERENCE
   object s last assigned on line 3 could be null and is dereferenced at line 4

keruspe@Lou /tmp/infer % vim test.java                                            
keruspe@Lou /tmp/infer % cat test.java                                            
public class test {
    int test() {
        String s = null;
        assert s != null;
        return s.length();
    }
}
keruspe@Lou /tmp/infer % infer -- javac test.java                                 
Starting analysis (Infer version git-17f0b5cbe2a1d4dd5831c79ce43bdb6c0e5da230)
Analysis done

1 file analyzed


/tmp/infer/test.java:5: error: NULL_DEREFERENCE
   object s last assigned on line 3 could be null and is dereferenced at line 5

I expect this last infer run not to tell be s can be null as the assert just above tells otherwise

[jvillard]

Hi @Keruspe, thanks for your report. It looks like this can be solved by adding a model for AssertionError. I'll look into it.

[irpap]

This should be fixed in the last release.