== Noncompliant Code Example

----
char *p1 = ... ;
if (p1 == NULL && *p1 == '\t') { // Noncompliant, p1 will be dereferenced IFF it is null
  // ...
}

char *p2 = ... ;
if (p2 != NULL) {
    // ...
}
*p2 = '\t'; // Noncompliant; potential null-dereference

char *p3, *p4;
p3 = NULL;
// ...
p4 = p3;
*p4;  // Noncompliant

int size = arr.length;
if (null != arr) { // Noncompliant; this null-check is useless
  // ...
}
----
