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
can infer find out all suspecious bugs? #1782
Comments
任何工具都不能找出所有的可疑bugs。例如,你如何定义C++、或Java/Android中的内存泄露问题,并让工具完全理解?同时,工具也要跟语言版本与时俱进。 |
No, Infer is underapproximate by nature, which means that it tries to minimize false positives, while potentially having false negatives (missing bugs). Software model checkers aim to not have false negatives, however they often suffer from performance issues in practice. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
currently I's using infer 1.1.0.
but i am curious the question : can infer find out all suspecious bugs epsecially mem leak bugs?
if not, is there an open source tool can do ?
thanks
The text was updated successfully, but these errors were encountered: