Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Different infer report between two runs with same code #1842

Open
dongsushang opened this issue Jun 19, 2024 · 1 comment
Open

Different infer report between two runs with same code #1842

dongsushang opened this issue Jun 19, 2024 · 1 comment

Comments

@dongsushang
Copy link

Please make sure your issue is not addressed in the FAQ.

Please include the following information:

  • [1.1.0 ] The version of infer from infer --version.
  • [ debian-11] Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc.
  • [ infer --keep-going --no-default-checkers --biabduction --starvation -j 4 --changed-files-index xxx -parameters xxx ] Which command you ran, for example infer -- make.
  • [no need] The full output in a paste, for instance a gist.

I hava a java file name Example.java, there is a normal NULL_DEREFERENCE issue in Example.java. But the strange thing is that if you run the same code multiple times and run the infer check, there is only a small probability that this problem can be scanned.

@dongsushang
Copy link
Author

we found if one thread is used to run infer,it works all right.
But it happens, when more than one thread are used.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant