assert1.c

#include <unistd.h>
#include <sys/types.h>

#define __infer_assert(E) \
	int *s = NULL;				\
	if (!(E)) *s = 0xDEADBEEF;

int main() {
	uid_t id;
	id = getuid();
	__infer_assert(id != 0);
}

infer.log

$ infer -- gcc -c assert1.c
Starting analysis (Infer version v0.8.1)
F.
Analyzed 1 file

Found 1 issue

assert1.c:11: error: NULL_DEREFERENCE
  pointer s last assigned on line 11 could be null and is dereferenced at line 11, column 2
  9.    uid_t id;
  10.           id = getuid();
  11. >         __infer_assert(id != 0);
  12.   }
  13.   

Summary of the reports

  NULL_DEREFERENCE: 1

run_gcc.log

$ gcc assert1.c
$ ./a.out