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

404 Open 940 Closed
404 Open 940 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 quandary-sources's kind Endpoint of (Mangled.t * Typ.desc) ,quandary-endpoints what mean,please give me demo
#1832 opened Apr 18, 2024 by sjlx12345
4 tasks
source build infer models fail
#1829 opened Apr 3, 2024 by huyanshi
1
Detected non-deterministic results when --jobs is not set to 1
#1819 opened Mar 20, 2024 by AnnabellaM
4 tasks
2
infer fails to capture any file on maven build
#1817 opened Mar 8, 2024 by lesquoyb
2
Improving Robustness of Infer Command
#1813 opened Feb 5, 2024 by DHolden24
Query on --changed-files-index option
#1808 opened Jan 12, 2024 by VvinayakK
3 tasks
3
Need help when using infer run or capture during maven compilation
#1803 opened Dec 22, 2023 by Yuxiang-M
5 tasks done
1
False positive Uninitialized Value in C code
#1802 opened Dec 13, 2023 by nurupo
Error building the Resource Leak analysis lab in docker
#1801 opened Nov 30, 2023 by jubnzv
--biabduction-unsafe-malloc doesn't assume that calloc() and realloc() never return null
#1799 opened Nov 11, 2023 by apaz-cli
1
[java] A false positive about the rule THREAD_SAFETY_VIOLATION
#1793 opened Sep 28, 2023 by LynnBroe
[java] A false negative about the rule NULL_DEREFERENCE
#1792 opened Sep 28, 2023 by LynnBroe
Is Adding a C++ Infer Port to the VSCode Plugin on the Roadmap?
#1791 opened Sep 8, 2023 by 25077667
3
Dockerfile: US-ASCII locale causes crash on UTF-8 input
#1786 opened Aug 9, 2023 by pjonsson
can infer find out all suspecious bugs?
#1782 opened Jul 27, 2023 by JiandongLu
2
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
1
[java] DEADLOCK: False Negative in Infer analysis results after converting anonymous classes to lambda expressions
#1775 opened Jul 9, 2023 by mohui1999
1
install from source faild, fatal error: 'cstddef' file not found
#1773 opened Jul 4, 2023 by lhkzhl
3
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
3
"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
ProTip! no:milestone will show everything without a milestone.