Issues

• False Negative: NULL_DEREFERENCE missing when a field is explicitly assigned null in the constructor

  false-negativejava
  facebook/infer#1992 · Filter by author leemeii opened on Jan 30, 2026

• Infer shows “There was nothing to analyze” for STM32 (arm-none-eabi-gcc) firmware build

  facebook/infer#1991 · Filter by author nafila24 opened on Jan 22, 2026
  3

• --skip-analysis-in-path doesn't work

  facebook/infer#1989 · Filter by author fencepost-error opened on Jan 19, 2026

• Infer configure scripts are unable to find the oUnit library even though it is installed

  facebook/infer#1987 · Filter by author F3llFr0mTh3Sky opened on Jan 1, 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

  facebook/infer#1978 · Filter by author marek22k opened on Dec 9, 2025
  1

• Found no issues even though issues existed

  facebook/infer#1970 · Filter by author ShifatJahanShifa opened on Nov 9, 2025

• Errors when handling xcodebuild in compile_commands.json

  facebook/infer#1960 · Filter by author zhuguoqiang opened on Nov 4, 2025

• build: compilation error with glibc 2.42 due to outdated LLVM

  facebook/infer#1956 · Filter by author linusboyle opened on Oct 23, 2025
  2

• A false negative in DEADLOCK detection

  false-negativejava
  facebook/infer#1955 · Filter by author Zustin opened on Oct 23, 2025
  2

• An inconsistent behaviour in EXPENSIVE_LOOP_INVARIANT_CALL detector

  facebook/infer#1953 · Filter by author stoneman258 opened on Oct 17, 2025

• False Negative in PULSE_RESOURCE_LEAK Detection

  false-negativepulse
  facebook/infer#1951 · Filter by author Zustin opened on Oct 13, 2025
  3

• [Java] Infer fails to detect a deadlock bug

  false-negativejava
  facebook/infer#1949 · Filter by author RJerrica opened on Oct 7, 2025

• A False Negative in INEFFICIENT_KEYSET_ITERATOR Detection​

  facebook/infer#1948 · Filter by author RJerrica opened on Oct 7, 2025

• Instantiating template with floating point NTTP results in crash

  bugc++
  Bug

  facebook/infer#1943 · Filter by author huben1337 opened on Sep 8, 2025

• variable argument list pointers aren't traced as allocation targets resulting in false positives for PULSE_UNINITIALIZED_VALUE and MEMORY_LEAK_C

  c
  Bug

  facebook/infer#1937 · Filter by author grooverdan opened on Aug 22, 2025
  6

• NULLPTR_DEREFERENCE false positive when we check the pointer first.

  cfalse-positive
  Bug

  facebook/infer#1936 · Filter by author grooverdan opened on Aug 22, 2025

• Infer incorrectly reports NULL_DEREFERENCE for HashMap operations

  false-positivejava
  Bug

  facebook/infer#1933 · Filter by author jiayiw2008 opened on Aug 13, 2025
  

• False Positive in Infer Null Pointer Dereference Detection

  false-positivejava
  Bug

  facebook/infer#1931 · Filter by author jiayiw2008 opened on Aug 11, 2025
  

• Errors when handling Xclang options in compile_commands.json

  facebook/infer#1929 · Filter by author Qiuye-Hua opened on Aug 6, 2025

• Lack of Local Build Instructions in README.md

  facebook/infer#1926 · Filter by author OjaswiJoshi13 opened on Jul 27, 2025
  2

• Broken or Redirecting Links in Documentation

  facebook/infer#1925 · Filter by author OjaswiJoshi13 opened on Jul 27, 2025

• Infer issue not being detected - CHECKERS_EXPENSIVE_OVERRIDES_UNANNOTATED

  java
  facebook/infer#1923 · Filter by author yorkueecsuser opened on Jul 17, 2025

• Infer issue not being detected - CHECKERS_ANNOTATION_REACHABILITY_ERROR

  java
  facebook/infer#1922 · Filter by author yorkueecsuser opened on Jul 17, 2025

• Infer issue not being detected - CHECKERS_CALLS_EXPENSIVE_METHOD

  java
  facebook/infer#1921 · Filter by author yorkueecsuser opened on Jul 17, 2025

• Infer issue not being detected - CHECKERS_ALLOCATES_MEMORY

  java
  facebook/infer#1920 · Filter by author yorkueecsuser opened on Jul 17, 2025