infer icon indicating copy to clipboard operation
infer copied to clipboard

pulse NULLPTR_DEREFERENCE False negative when run the java example in checker-pulse doc

Open KingChange opened this issue 1 year ago • 0 comments

  1. infer-version Infer version v1.1.0-605603504e I pull the newest code from github and compile.

  2. operating system and version Ubuntu 20.04.6 LTS Run in windows10 wsl

  3. Command infer run --pulse -- javac Test.java Same as the command in https://fbinfer.com/docs/checker-pulse

  4. The full output

1684313542418

  1. a minimal example to reproduce your problem just do as the doc show in https://fbinfer.com/docs/checker-pulse

  2. Others when i open debug mode, i get some thing different. 1684313723719 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

KingChange avatar May 17 '23 09:05 KingChange