infer
infer copied to clipboard
pulse NULLPTR_DEREFERENCE False negative when run the java example in checker-pulse doc
-
infer-version Infer version v1.1.0-605603504e I pull the newest code from github and compile.
-
operating system and version Ubuntu 20.04.6 LTS Run in windows10 wsl
-
Command infer run --pulse -- javac Test.java Same as the command in https://fbinfer.com/docs/checker-pulse
-
The full output
-
a minimal example to reproduce your problem just do as the doc show in https://fbinfer.com/docs/checker-pulse
-
Others when i open debug mode, i get some thing different.
I get the thing about Bad_footprint in https://github.com/facebook/infer/issues?q=Bad_footprint,but i still wonder whether it effect the analysis when debug mode disable