The Wayback Machine - https://web.archive.org/web/20201024122403/https://github.com/facebook/infer/issues
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

249 Open 819 Closed
249 Open 819 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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
How to use infer to analyze some c files in RIOT:
#1331 opened Oct 23, 2020 by nuaaysh
How can I have self-defined rules?
#1326 opened Oct 16, 2020 by xiongfengzhang 0 of 5
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
7
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
4
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
Integrate with distutils/setuptools for checking Python C extensions
#1306 opened Sep 6, 2020 by thedrow
Internal Error: exited with code 1
#1303 opened Aug 19, 2020 by kQly
1
@protocol is using a forward protocol declaration of 'WCTColumnCoding'
#1302 opened Aug 18, 2020 by guoxiaomind
Infer error cannot find pom.xml
#1301 opened Aug 13, 2020 by dtomassi 4 of 4
5
UNITIALIZED_VALUE possible false positive
#1298 opened Jul 28, 2020 by diego200052 5 of 5
./build-infer.sh clang ends with error on Ubuntu 20.04
#1294 opened Jul 22, 2020 by RadioPotin
10
Ignoring errors with RacerD
#1289 opened Jul 14, 2020 by mkr-plse
4
0.17.0 Version of Infer fails to run on Linux container using Linux Containers On Windows(LCOW) on Windows Server 2019
#1277 opened Jun 4, 2020 by jjaguirre394
2
Analysing a war file for java
#1276 opened Jun 3, 2020 by secf00tprint
SARIF (Static Analysis Results Interchange Format) format support
#1274 opened Jun 2, 2020 by XVilka
3
ocamlopt crashed when building native(opt) Infer
#1272 opened May 30, 2020 by zyh1121 4 of 5
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.
You can’t perform that action at this time.