FaceBook/infer-分析C文件

Hello world C

命令

infer -- gcc -c <文件名>

58deMacBook-Pro:examples wuxian$ infer -- gcc -c hello.c
Starting analysis (Infer version v0.1.0)
Analysis done

1 file analyzed


hello.c:5: error: NULL_DEREFERENCE
   pointer s last assigned on line 4 could be null and is dereferenced at line 5, column 3

你可能感兴趣的:(FaceBook/infer-分析C文件)