facebook/infer

A static analyzer for Java, C, C++, and Objective-C

Stars: 15.7k
Forks: 2.1k
Open beginner issues: 0
Indexed issues: 204
Avg merge: 19h 36m
Merged PRs (30d): 13

Dominant language: OCaml
License: MIT
Last GitHub push: Sep 10, 2026
Latest indexed: Sep 15, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: help wanted

Open All

204 open issues indexed

FALSE NEGATIVE: BUFFER_OVERRUN_L1 misses a fixed array overrun after an ArrayList join Open

facebook/infer#2118 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses unclosed PrintWriter constructors Open

facebook/infer#2119 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed connected Socket Open

facebook/infer#2120 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Proposal: Checkable Precision Diagnostics for Infer Analyses Open

facebook/infer#2121 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

A short digest of beginner-friendly GitHub issues.