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

345 Open 908 Closed
345 Open 908 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
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

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
[Java] False positive for null dereference
#1644 opened May 24, 2022 by Jiehong
3 of 4 tasks
Sumit
#1643 opened May 23, 2022 by Sumithubsk
[Java] False positive for Null Dereference
#1642 opened May 23, 2022 by Jiehong
4 of 5 tasks
1
Leak lab fails to detect closeable interfaces. Supers for java.io.FileInputStream contains nothing.
#1639 opened May 14, 2022 by klinvill
4 of 5 tasks
Building infer on Red Hat 7 / CentOS 7
#1638 opened May 13, 2022 by leek2
Internal Error: Non-assignable LHS expression (1 * 1)
#1637 opened May 12, 2022 by yunwei37
5 tasks done
External Error: *** capture failed to execute: exited with code 65 Error backtrace:
#1636 opened May 12, 2022 by blooming2017
infer -a checkers --eradicate -- mvn clean compile failed?
#1634 opened May 5, 2022 by zhaoyangyingmu
PulseTaintOperations Causing Analysis Crash
#1633 opened May 5, 2022 by matjin
Null Dereference False Negative
#1632 opened May 5, 2022 by pattersonz
2
Some questions about bug trace
#1631 opened May 3, 2022 by jumormt
A false negative about NULL_DEREFERENCE
#1628 opened Apr 28, 2022 by Belle-PL
Infer need to report RESOURCE_LEAK bug
#1627 opened Apr 28, 2022 by Belle-PL
a false negative about startvation
#1626 opened Apr 28, 2022 by Belle-PL
Working with you
#1625 opened Apr 22, 2022 by hanifshahy
how to detect android c++
#1621 opened Apr 7, 2022 by chongbo2013
2
How do you analyze just one POD library?
#1618 opened Mar 27, 2022 by fndppx
1
Can you support android apk or jar command line detection
#1614 opened Mar 15, 2022 by chongbo2013
Run Infer on standalone Jar/War files.
#1613 opened Mar 14, 2022 by martinschaef
3
Source code Does not compile when compile under fake root
#1608 opened Mar 8, 2022 by gdf8gdn8
2
Error when installing with homebrew
#1607 opened Mar 5, 2022 by hmottestad
4 of 5 tasks
4
When I use compilation database, how to perform incremental
#1606 opened Mar 4, 2022 by Shawn1yao
1
ProTip! Mix and match filters to narrow down what you’re looking for.