Issues

• Infer run takes hours and never finishes

  facebook/infer#2127 · Filter by author kunitoki opened on Sep 25, 2026
  7

• Proposal: Checkable Precision Diagnostics for Infer Analyses

  facebook/infer#2121 · Filter by author jjjxia opened on Sep 13, 2026
  1

• FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed connected Socket

  facebook/infer#2120 · Filter by author lynae99 opened on Sep 9, 2026

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

  facebook/infer#2118 · Filter by author lynae99 opened on Sep 9, 2026

• Create Linux arm64 releases too

  facebook/infer#2112 · Filter by author shs96c opened on Sep 2, 2026
  1

• FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed JDBC connection

  facebook/infer#2111 · Filter by author chisa22 opened on Sep 1, 2026
  1

• FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed stream returned by Files.newInputStream()

  facebook/infer#2110 · Filter by author chisa22 opened on Sep 1, 2026

• FALSE NEGATIVE: Pulse misses a possible null dereference from BufferedReader.readLine()

  facebook/infer#2109 · Filter by author chisa22 opened on Sep 1, 2026

• FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses unclosed ZipFile-family resources

  facebook/infer#2106 · Filter by author chisa22 opened on Aug 29, 2026

• FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed bound ServerSocket

  facebook/infer#2105 · Filter by author chisa22 opened on Aug 29, 2026

• FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed RandomAccessFile

  facebook/infer#2104 · Filter by author chisa22 opened on Aug 29, 2026

• FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses nested stream allocations before a channel try block

  facebook/infer#2103 · Filter by author lynae99 opened on Aug 29, 2026

• FALSE NEGATIVE: NULLPTR_DEREFERENCE misses a static final null field

  facebook/infer#2102 · Filter by author lynae99 opened on Aug 29, 2026

• FALSE NEGATIVE: NULLPTR_DEREFERENCE misses a local null in a FileChannel catch path

  facebook/infer#2101 · Filter by author lynae99 opened on Aug 29, 2026

• FALSE NEGATIVE: NULLPTR_DEREFERENCE misses a null local after a finite loop

  facebook/infer#2100 · Filter by author lynae99 opened on Aug 29, 2026

• [Question] Recommended approach for building an external language frontend

  question
  facebook/infer#2045 · Filter by author RaghavRoy145 opened on Jun 1, 2026
  4

• Infer hangs somewhere in PulseFormula

  bugpulse
  facebook/infer#2039 · Filter by author nevilad opened on Apr 21, 2026

• False Positive: INTEGER_OVERFLOW_L2 reported on safe loop with small compile-time upper bound

  false-positivejava
  facebook/infer#2027 · Filter by author mmnhgo opened on Mar 31, 2026

• ClassCastExceptions test not working?

  javapulse
  facebook/infer#2026 · Filter by author nevilad opened on Mar 30, 2026

• Very frequent false negatives in RacerD

  false-negativejava
  facebook/infer#2020 · Filter by author tener1yahoocom-lang opened on Mar 13, 2026

• False Negative: NULL_DEREFERENCE missing for uninitialized object array element dereference

  false-negativejava
  facebook/infer#2019 · Filter by author leemeii opened on Mar 13, 2026

• Infer fails with iOS SDK 26 (Xcode 26)

  facebook/infer#2016 · Filter by author khoilecontact opened on Mar 6, 2026
  1

• False Negative: NULL_DEREFERENCE missing when preceded by a useless if-else branch on a constant non-null check

  false-negativejava
  facebook/infer#2015 · Filter by author leemeii opened on Mar 5, 2026

• Building Infer on OCaml 5.4.x for benchmarking

  facebook/infer#2013 · Filter by author curche opened on Mar 3, 2026
  3

• Pulse checker pulse-force-continue and pulse-havoc-arguments C++/C

  facebook/infer#2006 · Filter by author RokiZoox opened on Feb 13, 2026