The Wayback Machine - https://web.archive.org/web/20200825082600/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

237 Open 814 Closed
237 Open 814 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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Infer on C has degraded since 0.16 (motivating example trivial leak)
#1305 opened Aug 19, 2020 by TomMD
1
Internal Error: exited with code 1
#1303 opened Aug 19, 2020 by kQly
@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
3
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
Running Infer binary fails for missing Python 2.7 dependency
#1251 opened Apr 19, 2020 by wolf99
4
Compile the iOS pod project
#1250 opened Apr 9, 2020 by dengqunli
Uncaught Internal Error: "Assert_failure src/clang/cEnum_decl.ml:34:8" on QEMU
#1249 opened Apr 5, 2020 by zyh1121 5 of 5
2
Inconsistency infer differential/default workflow over change history
#1248 opened Apr 1, 2020 by micheletufano
UNITIALIZED_VALUE false positive
#1244 opened Mar 25, 2020 by XVilka 3 of 3
Captured Folder missing from infer-out
#1243 opened Mar 24, 2020 by joaofranciscomartins
Parallelism gives inconsistent results
#1239 opened Mar 18, 2020 by zyh1121
Internal Error, exited with code 65
#1227 opened Mar 2, 2020 by CyberMew 0 of 1
7
how to fast add objective-c model
#1222 opened Feb 14, 2020 by xdkhan
Can we integrate this with Circle CI CICD pipeline
#1220 opened Feb 10, 2020 by god0fcode 0 of 5
ProTip! Type g i on any issue or pull request to go back to the issue listing page.
You can’t perform that action at this time.