Skip to content

/ 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.

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

260 Open 821 Closed
260 Open 821 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
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
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
C RESOURCE_LEAK false positive appears to be caused by calls to stat() or fstat()
#1351 opened Nov 27, 2020 by matt-herunter
Dead Store False Positive
#1350 opened Nov 25, 2020 by magaofei
Analyzing class files and src files(40k+) takes forever
#1348 opened Nov 20, 2020 by c3sivanarayanagaddam
4
miss IssueType of `UNSAFE_CALL_TO_OPTIONAL_METHOD`
#1343 opened Nov 7, 2020 by magaofei
False Negative UNINITIALIZED_VALUE?
#1339 opened Oct 31, 2020 by zyh1121 5 of 5
"Internal Error: java_class_info should be present for Java classes" using "--eradicate"
#1338 opened Oct 30, 2020 by baloghadamsoftware
How can I write .inferconfig
#1337 opened Oct 29, 2020 by xiongfengzhang
1
XCODEBUILD: error: unknown target triple 'unknown-apple-ios15.0.0', please use -triple or -arch
#1336 opened Oct 28, 2020 by AshKash 0 of 5
Infer is unable to detect violations in C/++ spec issues. These are critical as a dev or 3rd party can insert vulnerabilities in youre code with a simple /D
#1335 opened Oct 28, 2020 by K2 0 of 5
1
Uncaught Internal Error: (Unix.Unix_error "No such file or directory" connect "((addr (ADDR_UNIX sqlite_write_socket)))")
#1334 opened Oct 27, 2020 by Huiz110 4 of 4
2
Zero initialising reports uninitialised value error
#1333 opened Oct 26, 2020 by jakebott 5 of 5
Errors produced for anonymous union
#1332 opened Oct 26, 2020 by jakebott 5 of 5
How to use infer to analyze some c files in RIOT:
#1331 opened Oct 23, 2020 by nuaaysh
1
What are the reasons for AST Language (AL) removal
#1325 opened Oct 15, 2020 by XVilka
2
Infer v1.0.0 struggles with C array initialization (and 0.17.0 with bit and operator '&')
#1321 opened Oct 14, 2020 by nmanthey 6 of 6
8
UNINITIALIZED_VALUE false positive in rax
#1317 opened Sep 30, 2020 by thedrow
Docker image: facebook-clang-plugins/clang/src/download/llvm missing please run `src/prepare_clang_src.sh`
#1316 opened Sep 30, 2020 by XVilka 3 of 5
When is the next release planned?
#1315 opened Sep 29, 2020 by orbitcowboy 0 of 5
1
infer quandary question
#1314 opened Sep 25, 2020 by niuzhi
2
infer capture not obtain captured files.why?
#1313 opened Sep 24, 2020 by niuzhi
1
Is it possible to add checkers for Java?
#1312 opened Sep 24, 2020 by pivdets
Build fails with "use of undeclared identifier '__FILE_NAME__'" with Xcode 12 only.
#1310 opened Sep 20, 2020 by yousefhamza
5
in-tree vs. out-out-of tree builds
#1309 opened Sep 18, 2020 by 251
2
filter-report or censor-report option
#1308 opened Sep 16, 2020 by pmohandas-hpr 5 of 5
infer stuck and use lot of memory
#1307 opened Sep 16, 2020 by chatwyn
ProTip! Exclude everything labeled bug with -label:bug.
You can’t perform that action at this time.