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

395 Open 978 Closed
395 Open 978 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 fails to capture any file on maven build
#1883 opened Feb 14, 2025 by lesquoyb
Question: Does infer know about setjmp/longjmp ?
#1881 opened Dec 29, 2024 by svenssonjoel
infer run -- clang xxx/Hello.m error
#1879 opened Dec 5, 2024 by iOSyifeng
Compile Infer Error
#1870 opened Oct 29, 2024 by zcDemo
Latest binary release can't be unpacked on Windows 11
#1869 opened Oct 12, 2024 by GiantCrocodile
RacerD： reports fault issues with openjdk17
#1868 opened Oct 11, 2024 by DaLiangg
Provides a snippet that works correctly when installing from binaries.
#1866 opened Sep 15, 2024 by tenandorone
5 of 6 tasks
There is no tag for version 0.11.2 here. How can I find out which commit the 0.11.2 version is based on?
#1865 opened Sep 2, 2024 by wangruolan1993
5 tasks
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
1
Missing error types
#1855 opened Jul 25, 2024 by ma125125t
1
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
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
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
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! Add no:assignee to see everything that’s not assigned.