All issues

Search results

Proposal: Checkable Precision Diagnostics for Infer Analyses

Status: Open.

#2121 In facebook/infer;

· jjjxia opened on Sep 13, 2026

FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed connected Socket

Status: Open.

#2120 In facebook/infer;

· lynae99 opened on Sep 9, 2026

FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses unclosed PrintWriter constructors

Status: Open.

#2119 In facebook/infer;

· lynae99 opened on Sep 9, 2026

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

Status: Open.

#2118 In facebook/infer;

· lynae99 opened on Sep 9, 2026

Create Linux arm64 releases too

Status: Open.

#2112 In facebook/infer;

· shs96c opened on Sep 2, 2026

FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed JDBC connection

Status: Open.

#2111 In facebook/infer;

· chisa22 opened on Sep 1, 2026

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

Status: Open.

#2110 In facebook/infer;

· chisa22 opened on Sep 1, 2026

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

Status: Open.

#2109 In facebook/infer;

· chisa22 opened on Sep 1, 2026

FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses unclosed ZipFile-family resources

Status: Open.

#2106 In facebook/infer;

· chisa22 opened on Aug 29, 2026

FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed bound ServerSocket

Status: Open.

#2105 In facebook/infer;

· chisa22 opened on Aug 29, 2026

FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed RandomAccessFile

Status: Open.

#2104 In facebook/infer;

· chisa22 opened on Aug 29, 2026

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

Status: Open.

#2103 In facebook/infer;

· lynae99 opened on Aug 29, 2026