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

246 Open 816 Closed
246 Open 816 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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
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
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
in-tree vs. out-out-of tree builds
#1309 opened Sep 18, 2020 by 251
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
1
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
Infer integrated into multiple IDEs and Editors
#1268 opened May 24, 2020 by linghuiluo
3
infer analysis process
#1267 opened May 22, 2020 by niuzhi
1
0.17.0 ``infer capture`` fails with Java var-args (at least in some scenarios)
#1255 opened Apr 28, 2020 by amz-fruxo
2
We want to integrate the infer to the git hub PR process, Idea is to examine the code before the code is committed to the master branch. is there any limitation?
#1254 opened Apr 27, 2020 by PradeepShetty14 0 of 5
ProTip! What’s not been updated in a month: updated:<2020-09-03.
You can’t perform that action at this time.