facebook / infer

Watch 559
Star 11k
Fork 1.5k

Code
Issues 233
Pull requests 3
Actions
Projects 0
Wiki
Security
Insights

Code Issues 233 Pull requests 3 Projects 0 Actions Wiki Security Pulse

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.

Pick a username

Email Address

Password

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

233 Open 804 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

SARIF (Static Analysis Results Interchange Format) format support

#1274 opened Jun 2, 2020 by XVilka

ocamlopt crashed when building native(opt) Infer

#1272 opened May 30, 2020 by zyh1121 4 of 5

Switch from Travis to GitHub Actions

#1270 opened May 26, 2020 by imbsky

1 2

Infer integrated into multiple IDEs and Editors

#1268 opened May 24, 2020 by linghuiluo

infer analysis process

#1267 opened May 22, 2020 by niuzhi

Experimental Checker for input variables analysis question.

#1266 opened May 20, 2020 by Rui1995

Jenkins integration after removal of --pmd-xml option

#1262 opened May 18, 2020 by tyrasd

Infer macOS build regression since commit 387ef518f995d7bd0254b3cf70c143eab891b10a

#1260 opened May 12, 2020 by amz-fruxo

0.17.0 ``infer capture`` fails with Java var-args (at least in some scenarios)

#1255 opened Apr 28, 2020 by amz-fruxo

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

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

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

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

run "infer" in docker container

#1219 opened Feb 9, 2020 by sidan26

Using quandary-endpoints in .inferconfig results in no taint

#1216 opened Jan 22, 2020 by js-musedev

JavaScript support for Infer

#1215 opened Jan 19, 2020 by avery-laird

Java11 Support Issue

#1214 opened Jan 18, 2020 by thangavel-projects

Quandary ignoring tainted field if others are sanitized

#1213 opened Jan 16, 2020 by js-musedev

Previous 1 2 3 4 5 … 9 10 Next

Previous Next

ProTip! Mix and match filters to narrow down what you’re looking for.