facebook/infer

View on GitHub

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

Infer issue not being detected - CHECKERS_ANNOTATION_REACHABILITY_ERROR Open

java

facebook/infer#1922 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer issue not being detected - CHECKERS_EXPENSIVE_OVERRIDES_UNANNOTATED Open

java

facebook/infer#1923 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Broken or Redirecting Links in Documentation Open

facebook/infer#1925 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Lack of Local Build Instructions in README.md Open

facebook/infer#1926 · 2 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Errors when handling `Xclang` options in compile_commands.json Open

facebook/infer#1929 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Positive in Infer Null Pointer Dereference Detection Open

false-positive java

facebook/infer#1931 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Infer incorrectly reports NULL_DEREFERENCE for HashMap operations Open

false-positive java

facebook/infer#1933 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
NULLPTR_DEREFERENCE false positive when we check the pointer first. Open

c false-positive

facebook/infer#1936 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
variable argument list pointers aren't traced as allocation targets resulting in false positives for PULSE_UNINITIALIZED_VALUE and MEMORY_LEAK_C Open

c

facebook/infer#1937 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Instantiating template with floating point NTTP results in crash Open

bug c++

facebook/infer#1943 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
A False Negative in INEFFICIENT_KEYSET_ITERATOR Detection Open

facebook/infer#1948 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Java] Infer fails to detect a deadlock bug Open

false-negative java

facebook/infer#1949 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Negative in PULSE_RESOURCE_LEAK Detection Open

false-negative pulse

facebook/infer#1951 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
An inconsistent behaviour in EXPENSIVE_LOOP_INVARIANT_CALL detector Open

facebook/infer#1953 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
A false negative in DEADLOCK detection Open

false-negative java

facebook/infer#1955 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
build: compilation error with glibc 2.42 due to outdated LLVM Open

facebook/infer#1956 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Errors when handling xcodebuild in compile_commands.json Open

facebook/infer#1960 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Found no issues even though issues existed Open

facebook/infer#1970 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
call to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<bool>' is not a constant expression Open

facebook/infer#1978 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer configure scripts are unable to find the oUnit library even though it is installed Open

facebook/infer#1987 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
--skip-analysis-in-path doesn't work Open

facebook/infer#1989 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer shows “There was nothing to analyze” for STM32 (arm-none-eabi-gcc) firmware build Open

facebook/infer#1991 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Negative: NULL_DEREFERENCE missing when a field is explicitly assigned null in the constructor Open

false-negative java

facebook/infer#1992 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Negative: DIVIDE_BY_ZERO missing when unrelated statements are added before the division Open

false-negative java

facebook/infer#1993 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Positive: INFINITE_EXECUTION_TIME incorrectly reported for simple terminating while-loop Open

false-positive java

facebook/infer#2000 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Negative: NULL_DEREFERENCE missing when null check is done via instanceof Open

false-negative java

facebook/infer#2001 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Positive: DANGLING_POINTER_DEREFERENCE on catch parameter in try-with-resources Open

false-positive java

facebook/infer#2002 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Need help on implementing --capture-block-list option. Open

facebook/infer#2004 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
False Negative: INFINITE_EXECUTION_TIME missing for empty-increment for loop Open

false-negative java

facebook/infer#2005 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Pulse checker pulse-force-continue and pulse-havoc-arguments C++/C Open

facebook/infer#2006 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Building Infer on OCaml 5.4.x for benchmarking Open

facebook/infer#2013 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Negative: NULL_DEREFERENCE missing when preceded by a useless if-else branch on a constant non-null check Open

false-negative java

facebook/infer#2015 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer fails with iOS SDK 26 (Xcode 26) Open

facebook/infer#2016 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Negative: NULL_DEREFERENCE missing for uninitialized object array element dereference Open

false-negative java

facebook/infer#2019 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Very frequent false negatives in RacerD Open

false-negative java

facebook/infer#2020 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
ClassCastExceptions test not working? Open

java pulse

facebook/infer#2026 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
False Positive: INTEGER_OVERFLOW_L2 reported on safe loop with small compile-time upper bound Open

false-positive java

facebook/infer#2027 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer hangs somewhere in PulseFormula Open

bug pulse

facebook/infer#2039 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Question] Recommended approach for building an external language frontend Open

question

facebook/infer#2045 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: NULLPTR_DEREFERENCE misses a null local after a finite loop Open

facebook/infer#2100 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: NULLPTR_DEREFERENCE misses a local null in a FileChannel catch path Open

facebook/infer#2101 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: NULLPTR_DEREFERENCE misses a static final null field Open

facebook/infer#2102 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses nested stream allocations before a channel try block Open

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

facebook/infer#2104 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed bound ServerSocket Open

facebook/infer#2105 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses unclosed ZipFile-family resources Open

facebook/infer#2106 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: Pulse misses a possible null dereference from `BufferedReader.readLine()` Open

facebook/infer#2109 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed stream returned by `Files.newInputStream()` Open

facebook/infer#2110 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed JDBC connection Open

facebook/infer#2111 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Create Linux arm64 releases too Open

facebook/infer#2112 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026

facebook/infer

Get new issues in your inbox