Search results

Found no issues even though issues existed

Status: Open.

#1970Â?In facebook/infer;

· ShifatJahanShifa opened on Nov 9, 2025

Errors when handling xcodebuild in compile_commands.json

Status: Open.

#1960Â?In facebook/infer;

· zhuguoqiang opened on Nov 4, 2025

build: compilation error with glibc 2.42 due to outdated LLVM

Status: Open.

#1956Â?In facebook/infer;

· linusboyle opened on Oct 23, 2025

A false negative in DEADLOCK detection

Status: Open.

#1955Â?In facebook/infer;

· Zustin opened on Oct 23, 2025

An inconsistent behaviour in EXPENSIVE_LOOP_INVARIANT_CALL detector

Status: Open.

#1953Â?In facebook/infer;

· stoneman258 opened on Oct 17, 2025

False Negative in PULSE_RESOURCE_LEAK Detection

Status: Open.

#1951Â?In facebook/infer;

· Zustin opened on Oct 13, 2025

[Java] Infer fails to detect a deadlock bug

Status: Open.

#1949Â?In facebook/infer;

· RJerrica opened on Oct 7, 2025

A False Negative in INEFFICIENT_KEYSET_ITERATOR Detection​

Status: Open.

#1948Â?In facebook/infer;

· RJerrica opened on Oct 7, 2025

Instantiating template with floating point NTTP results in crash

c++

Status: Open.

Bug

#1943Â?In facebook/infer;

· huben1337 opened on Sep 8, 2025

Uncaught Internal Error when path of project to be analysed contains '++' - Ubuntu

c++

Status: Open.

Bug

#1941Â?In facebook/infer;

· rasofema opened on Aug 26, 2025

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

c

Status: Open.

Bug

#1937Â?In facebook/infer;

· grooverdan opened on Aug 22, 2025

NULLPTR_DEREFERENCE false positive when we check the pointer first.

c

Status: Open.

Bug

#1936Â?In facebook/infer;

· grooverdan opened on Aug 22, 2025