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

419 Open 948 Closed
419 Open 948 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Infer only find part issues in Cmake project
#1860 opened Aug 8, 2024 by zhenjing
2
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var LLVM_SYMBOLIZER_PATH to point to it):
#1858 opened Jul 30, 2024 by cckv
1
False positives in Pulse when analyzing CUrl
#1857 opened Jul 29, 2024 by 3393304070
Missing error types
#1855 opened Jul 25, 2024 by ma125125t
please fix VERSION sample in the get infer page of the document
#1854 opened Jul 21, 2024 by fu7mu4
Incremental analysis - procedure name
#1853 opened Jul 10, 2024 by geetali13
Interpreting procedure summaries
#1852 opened Jul 10, 2024 by elizabethdinella
A false report in Infer 1.2.0
#1851 opened Jul 9, 2024 by Zustin
dockerfile is not available for v1.2.0
#1850 opened Jul 9, 2024 by ashwin31
3 tasks
Infer v1.2 fails to analyze a project that Infer v.1.1 can analyze
#1849 opened Jul 5, 2024 by thanhtoantnt
Building Infer models error when executing build-infer.sh java
#1848 opened Jul 3, 2024 by geetali13
1
version 1.2.0 cannot check resource leak by using pulse(biabduction is deprecated)
#1845 opened Jun 26, 2024 by u201111476
1
There was nothing to analyze, No issues found , infer 1.2.0 , macOS 15 beta, xcode16 beta
#1844 opened Jun 26, 2024 by gm958spanda
1
Different infer report between two runs with same code
#1842 opened Jun 19, 2024 by dongsushang
1
Does Infer plan to release a next version to support dead code checkout?
#1838 opened Jun 6, 2024 by u201111476
ERROR translating statement 'DeclStmt'
#1835 opened Apr 30, 2024 by momvart
1
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
ProTip! Updated in the last three days: updated:>2024-08-11.