facebook/infer

Issues

• infer does not recognize the flag gnu++20

  #1867 opened 2 months ago by angelskieglazki
  1

• Provides a snippet that works correctly when installing from binaries.

  #1866 opened 2 months ago by tenandorone
  0

• Termux command request

  #1812 opened 9 months ago by Khany123
  1

• There is no tag for version 0.11.2 here. How can I find out which commit the 0.11.2 version is based on?

  #1865 opened 3 months ago by wangruolan1993
  0

• False Positive in Uninitialized Value Report

  #1864 opened 3 months ago by thanhtoantnt
  0

• Maven build with java 17 failed

  #1846 opened 4 months ago by mstepan
  4

• Infer needs `assert` statements to remove false positives

  #1861 opened 3 months ago by thanhtoantnt
  0

• Infer v1.2 fails to analyze a project that Infer v.1.1 can analyze

  #1849 opened 3 months ago by thanhtoantnt
  0

• [False Negative] [Pulse] `OPTIONAL_EMPTY_ACCESS` for Java

  #1859 opened 3 months ago by jyoo980
  2

• Infer only find part issues in Cmake project

  #1860 opened 4 months ago by zhenjing
  2

• Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var LLVM_SYMBOLIZER_PATH to point to it):

  #1858 opened 4 months ago by cckv
  1

• Infer run error:Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var LLVM_SYMBOLIZER_PATH to point to it):

  #1856 opened 4 months ago by cckv
  0

• False positives in Pulse when analyzing CUrl

  #1857 opened 4 months ago by 3393304070
  0

• Missing error types

  #1855 opened 4 months ago by ma125125t
  0

• please fix VERSION sample in the get infer page of the document

  #1854 opened 4 months ago by fu7mu4
  0

• Incremental analysis - procedure name

  #1853 opened 4 months ago by geetali13
  0

• Interpreting procedure summaries

  #1852 opened 4 months ago by elizabethdinella
  0

• A false report in Infer 1.2.0

  #1851 opened 4 months ago by Zustin
  0

• dockerfile is not available for v1.2.0

  #1850 opened 4 months ago by ashwin31
  0

• There was nothing to analyze, No issues found , infer 1.2.0 , macOS 15 beta, xcode16 beta

  #1844 opened 5 months ago by gm958spanda
  1

• Building Infer models error when executing build-infer.sh java

  #1848 opened 5 months ago by geetali13
  1

• Different infer report between two runs with same code

  #1842 opened 5 months ago by dongsushang
  1

• The summary of function in `pulse-model-free-pattern` is not the same as ` free`

  #1847 opened 5 months ago by thanhtoantnt
  2

• version 1.2.0 cannot check resource leak by using pulse(biabduction is deprecated)

  #1845 opened 5 months ago by u201111476
  1

• Infer cannot report memory leak caused by new?

  #1839 opened 5 months ago by u201111476
  0

• Evaluación 20%

  #1843 opened 5 months ago by mafufuma09
  0

• Does Infer plan to release a next version to support dead code checkout?

  #1838 opened 6 months ago by u201111476
  0

• Can Infer spot dead code in C?

  #1837 opened 6 months ago by u201111476
  2

• ERROR translating statement 'DeclStmt'

  #1835 opened 7 months ago by momvart
  1

• Is this feedback correct?

  #1833 opened 7 months ago by wbhqmzl
  0

• how to quandary-sources's kind Endpoint of (Mangled.t * Typ.desc) ,quandary-endpoints what mean,please give me demo

  #1832 opened 7 months ago by sjlx12345
  0

• source build infer models fail

  #1829 opened 8 months ago by huyanshi
  1

• infer fails to capture any file on maven build

  #1817 opened 9 months ago by lesquoyb
  2

• Usage Error: Java model file is required

  #1827 opened 8 months ago by yuFeiCode
  0

• Detected non-deterministic results when --jobs is not set to 1

  #1819 opened 8 months ago by AnnabellaM
  2

• Infer - clang plugin OCaml - Issue

  #1810 opened 9 months ago by mantejl
  3

• [pulse] Handling Third-Party Library Calls when Analysing Projects

  #1814 opened 9 months ago by Robsterbobster
  2

• Improving Robustness of Infer Command

  #1813 opened 10 months ago by DHolden24
  0

• Query on --changed-files-index option

  #1808 opened 10 months ago by VvinayakK
  3

• Meta leak

  #1809 opened 10 months ago by Khany123
  1

• Need help when using infer run or capture during maven compilation

  #1803 opened a year ago by Yuxiang-M
  1

• False positive Uninitialized Value in C code

  #1802 opened a year ago by nurupo
  0

• `--biabduction-unsafe-malloc` doesn't assume that `calloc()` and `realloc()` never return null

  #1799 opened a year ago by apaz-cli
  1

• Error building the `Resource Leak analysis` lab in docker

  #1801 opened a year ago by jubnzv
  0

• False positive memory leak on loop

  #1785 opened a year ago by danielmercier
  4

• Is Adding a C++ Infer Port to the VSCode Plugin on the Roadmap?

  #1791 opened a year ago by 25077667
  3

• [java] A false positive about the rule THREAD_SAFETY_VIOLATION

  #1793 opened a year ago by LynnBroe
  0

• [java] A false negative about the rule NULL_DEREFERENCE

  #1792 opened a year ago by LynnBroe
  0

• How to add extra nullability condition to NULL_DEREFERENCE checking

  #1790 opened a year ago by csmoe
  0

• Dockerfile: US-ASCII locale causes crash on UTF-8 input

  #1786 opened a year ago by pjonsson
  0