-
Notifications
You must be signed in to change notification settings - Fork 2k
-
Notifications
You must be signed in to change notification settings - Fork 2k
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
A false report in Infer 1.2.0 #1851
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Please make sure your issue is not addressed in the FAQ.
I used infer to detect the following program. It is obvious that the program has a double free issue, but Infer reports a false warnign "use after free". See the log below.
double_free.c
Log
I used Infer 1.2.0 and MacOS version.
The text was updated successfully, but these errors were encountered: