Skip to content

Issues: facebook/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.

Sign up for GitHub

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

361 Open 915 Closed
361 Open 915 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
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 Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[Cpp] Biabduction seems not work
#1702 opened Nov 15, 2022 by skyleaworlder
5 tasks done
[RacerD] Detecting races in objects contained in a Map
#1701 opened Nov 11, 2022 by maneBarros
5 tasks done
Is it possible to get a Windows build process going?
#1698 opened Nov 9, 2022 by strich
Suppressing false positives in non-android Java project
#1693 opened Oct 20, 2022 by cicirello
3 of 5 tasks
[question]can infer reuse library summary for application analysis?
#1689 opened Oct 7, 2022 by ash1852
topl can't handle functions from pointers
#1688 opened Oct 6, 2022 by qequ
5 tasks done
2
Failed to detect null derreference using global variable in C
#1687 opened Oct 4, 2022 by dgutson
5 tasks done
Failed to detect null derreference in nested C block
#1685 opened Oct 3, 2022 by dgutson
5 tasks done
5
Can't find C++ example
#1683 opened Sep 28, 2022 by insublee
1
How do I check all the summaries of procedures?
#1682 opened Sep 26, 2022 by sujin0529
4 of 5 tasks
objc code ignored by Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
#1677 opened Sep 8, 2022 by Fistice
Lots of false positives about dead store
#1665 opened Aug 17, 2022 by yijiyouyu
5 tasks done
Java Support Issue
#1664 opened Aug 8, 2022 by mywnajsldkf
4 of 5 tasks
Does infer support RISCV architecture?
#1663 opened Aug 8, 2022 by tonyho
stddef.h: No such file or directory
#1662 opened Jul 30, 2022 by Kamlesh2112
5 tasks
1
How to understand the assignment semantic in lab?
#1658 opened Jul 19, 2022 by Butter934
Large ERROR RUNNING CAPTURE & the following clang command did not run successfully
#1654 opened Jul 1, 2022 by YLightC
4 of 5 tasks
How to reduce the Infer time for my Project?
#1653 opened Jul 1, 2022 by blooming2017
1
How to use quandary-only to analyze iOS project
#1651 opened Jun 29, 2022 by timelessRecall
incremental-analysis results in no files being analyzed
#1650 opened Jun 26, 2022 by oO0oO0oO0o0o00
5 tasks done
Error when running infer on ML DL libraries
#1649 opened Jun 24, 2022 by nimashiri
Exploring bi-abduction via html: format issue
#1647 opened Jun 22, 2022 by simpletonDL
[C] InferBO false positive
#1646 opened Jun 20, 2022 by mianowill
5 tasks done
libclang_rt.profile-x86_64.a: No such file or directory
#1645 opened Jun 11, 2022 by paradajz
2
[Java] False positive for null dereference
#1644 opened May 24, 2022 by Jiehong
3 of 4 tasks
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.