Search results

Issue type not being detected - INVARIANT_CALL

Status: Open.

#1918 In facebook/infer;

· yorkueecsuser opened on Jul 11, 2025

Issue type not being consistently detected - EXPENSIVE_LOOP_INVARIANT_CALL​

Status: Open.

#1917 In facebook/infer;

· yorkueecsuser opened on Jul 10, 2025

Dump SIL in clang C mode

Status: Open.

#1915 In facebook/infer;

· SuzumiDev opened on Jul 6, 2025

Infer reports only one of two buffer overflows

Status: Open.

#1911 In facebook/infer;

· YoungseokCh opened on Jun 17, 2025

Run all checkers

Status: Open.

#1910 In facebook/infer;

· lwli11 opened on Jun 16, 2025

Infer on glog library

pulse

Status: Open.

#1908 In facebook/infer;

· RokiZoox opened on Jun 4, 2025

Docker container issue

Status: Open.

#1904 In facebook/infer;

· lauratitolo opened on May 21, 2025

Please update base to v0.17.2

Status: Open.

#1903 In facebook/infer;

· kakkoisan opened on May 19, 2025

[Question] Are heuristics used when calculating the preconditions of functions?

Status: Open.

#1901 In facebook/infer;

· sujin0529 opened on Apr 29, 2025

Failed bulding Dockerfile infer 1.2.0

Status: Open.

#1894 In facebook/infer;

· ArjanSeijs opened on Apr 2, 2025

infer run error "clang command did not run successfull"

Status: Open.

#1891 In facebook/infer;

· pastel001 opened on Mar 28, 2025

[Question] how to define propagations of Java lambda functions?

Status: Open.

#1890 In facebook/infer;

· guodongli-google opened on Mar 25, 2025