Open KingChange opened 1 year ago
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
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