Hey Rich Salz, you have correctly inferred that the REPORT part is
automated. The REMARKS are my human non-automated commentary resulting
from looking at the code or at other INFER reports for similar issues;
just a little context.
regards, Peter
Hello,
these 15 null dereference and memory leak reports, included with comments
below, were found by running
Facebook¹s Infer static analyzer on openssl-1.0.1h.
regards,
Peter O¹Hearn
Facebook Static Analysis Tools Team
1.
File: apps/apps.c
REPORT: Null