Search results

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

[Question] How to make infer analyze go deeper into the code?

Status: Open.

#1887 In facebook/infer;

· ChengsongTan opened on Mar 6, 2025

Capturing in make/cc mode... Nothing to compile.

Status: Open.

#1886 In facebook/infer;

· TimeFunny opened on Feb 24, 2025

False positive detection of USE_AFTER_DELETE in loop

Status: Open.

#1884 In facebook/infer;

· conversy opened on Feb 18, 2025

infer fails to capture any file on maven build

Status: Open.

#1883 In facebook/infer;

· lesquoyb opened on Feb 14, 2025

Question: Does infer know about setjmp/longjmp ?

Status: Open.

#1881 In facebook/infer;

· svenssonjoel opened on Dec 29, 2024