Search results

SARIF reports don't comply with the specification

Status: Open.

#1974 In facebook/infer;

· friedbyalice opened on Nov 30, 2025

FP in Java's BufferOverrun analysis with String.split(String, int) with non-positive limit

Status: Open.

#1971 In facebook/infer;

· friedbyalice opened on Nov 26, 2025

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