The Wayback Machine - https://web.archive.org/web/20230727084759/https://github.com/facebook/infer/issues
Skip to content

Issues: facebook/infer

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.

Sign up for GitHub

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

393 Open 927 Closed
393 Open 927 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

How to check custom malloc and free functions for memory leak?
#1780 opened Jul 13, 2023 by glovej
how to use --custom-symbols?
#1779 opened Jul 13, 2023 by glovej
[java] STARVATION: False Negative in Infer analysis results after converting anonymous classes to lambda expressions
#1776 opened Jul 9, 2023 by mohui1999
[java] DEADLOCK: False Negative in Infer analysis results after converting anonymous classes to lambda expressions
#1775 opened Jul 9, 2023 by mohui1999
install from source faild, fatal error: 'cstddef' file not found
#1773 opened Jul 4, 2023 by lhkzhl
Not working on CocoPod project
#1770 opened Jun 19, 2023 by dingxiaolong
[brew] Error: infer has been disabled because it does not build!
#1768 opened Jun 6, 2023 by zzz6519003
5
Stuck when analyzing big projects written in c and c++
#1767 opened Jun 3, 2023 by nibienaohehe
2
"Uncaught Internal Error" somebody help me pleazzz
#1765 opened May 31, 2023 by wahahahahah
Unable to assign multiple jobs when running infer inside docker
#1763 opened May 24, 2023 by phnx
[Biabduction] [Objective-C] Retain Cycle not work when wrapping cycles.
#1762 opened May 17, 2023 by skyleaworlder
5 tasks done
pulse NULLPTR_DEREFERENCE False negative when run the java example in checker-pulse doc
#1761 opened May 17, 2023 by KingChange
Does infer provide pointer analysis, and how can I get the call graph.
#1760 opened May 10, 2023 by nibienaohehe
1
false positive resource of type javax.net.ssl.HttpsURLConnection
#1759 opened May 8, 2023 by SolomonSun2010
5 tasks done
2
Resource Leak of android.database.sqlite.SQLiteCursor seems false positive within isClosed() branch
#1758 opened Apr 27, 2023 by SolomonSun2010
5 tasks done
1
Android NDK C++Analysis
#1756 opened Apr 23, 2023 by chongbo2013
Continuous memory increase (memory leak) when using infer with xcodebuild
#1753 opened Apr 13, 2023 by elhoangvu
Uninitialized false positive (normalization issue in PulseFormula?)
#1750 opened Apr 6, 2023 by danielmercier
infer run return err clang-15: error: unknown argument: '-ivfsstatcache'
#1749 opened Apr 4, 2023 by pastel001
7
Confusion about allow-list-path-regex CLI option
#1746 opened Mar 15, 2023 by peckto
1
External Error: Could not load model file ../lib/models.sql
#1745 opened Mar 13, 2023 by SolomonSun2010
5 tasks done
1
Is there Infer v1.2, v1.3 milestone release plan, thanks
#1743 opened Mar 10, 2023 by SolomonSun2010
3
INTERFACE_NOT_THREAD_SAFE should not apply to dependencies
#1733 opened Feb 15, 2023 by dsmiley
4
analyze uftrace failed
#1731 opened Feb 8, 2023 by SpinEch0
A false negative about the rule INEFFICIENT_KEYSET_ITERATOR
#1726 opened Jan 24, 2023 by Belle-PL
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.