Skip to content

Pull requests: facebook/infer

New pull request New
11 Open 480 Closed
11 Open 480 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

ci: save clang cache earlier CLA Signed
#2038 opened Apr 17, 2026 by martintrojer Contributor Loading…
[rust] [2/2] Support the elaborated box reprenstation for precise-drops CLA Signed
#2036 opened Apr 15, 2026 by ArjanSeijs Contributor Loading…
[rust] [1/2] Update Charon to version 0.1.177 to be able to use CLA Signed
#2035 opened Apr 15, 2026 by ArjanSeijs Contributor Loading…
Fix Pulse NULL_DEREFERENCE false negative caused by irrelevant inequa… CLA Signed
#2018 opened Mar 8, 2026 by bhuvii2005 Loading…
3
Fix Accessibility Violations for Hyperlinks and Images on Website CLA Signed
#1994 opened Jan 31, 2026 by huangkevin-apr Loading…
Fix SARIF reports to comply with specification CLA Signed
#1975 opened Nov 30, 2025 by friedbyalice Loading…
1
4
Update install.yml CLA Signed
#1969 opened Nov 6, 2025 by ngorogiannis Member Loading…
1
Update Tenv.ml CLA Signed
#1959 opened Nov 3, 2025 by Jatkingmodern Loading…
9
Fix Get Infer command in 00-getting-started.md CLA Signed
#1940 opened Aug 24, 2025 by mikoto2000 Loading…
@ngorogiannis
3
fix clang build with glibc 2.42 re: struct termio CLA Signed
#1938 opened Aug 23, 2025 by etwoo Contributor Loading…
@ngorogiannis
4
docs: add local development quickstart to README (fixes #1926) CLA Signed
#1934 opened Aug 14, 2025 by aryanrahar Loading…
@ngorogiannis
3
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.