Please make sure your issue is not addressed in the FAQ.
Please include the following information:
[x] Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc.
[x] The version of infer from infer --version.
[x] Which command you ran, for example infer -- make.
[x] The full output in a paste, for instance a gist.
[x] If possible, a minimal example to reproduce your problem (for instance, some code where
infer reports incorrectly, together with the way you run infer to reproduce the incorrect
report).
In Debian 10,I use infer 1.1.0 to scan my project ,it report many DEAD STORE and NULL_DEREFERENCE;but all of them are alse positives.
I use the command: "infer run --bufferoverrun --biabduction --pulse -- make --keep-going"
Please make sure your issue is not addressed in the FAQ.
Please include the following information:
infer --version
.infer -- make
.