Skip to content

Issues: facebook/infer

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
428 Open 1,356 Closed
428 Open 1,356 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Bump cross-spawn from 7.0.3 to 7.0.6 in /website CLA Signed dependencies Pull requests that update a dependency file
#1872 by dependabot bot was closed Nov 22, 2024 Loading…
1
infer does not recognize the flag gnu++20
#1867 by angelskieglazki was closed Sep 19, 2024
1
False Positive in Uninitialized Value Report
#1864 by thanhtoantnt was closed Dec 27, 2024
Bump micromatch from 4.0.5 to 4.0.8 in /website CLA Signed dependencies Pull requests that update a dependency file Merged
#1863 by dependabot bot was closed Sep 2, 2024 Loading…
3
Bump webpack from 5.90.1 to 5.94.0 in /website CLA Signed dependencies Pull requests that update a dependency file Merged
#1862 by dependabot bot was closed Sep 2, 2024 Loading…
5
Infer needs assert statements to remove false positives
#1861 by thanhtoantnt was closed Dec 31, 2024
3 tasks done
[False Negative] [Pulse] OPTIONAL_EMPTY_ACCESS for Java
#1859 by jyoo980 was closed Aug 12, 2024
5 tasks done
2
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 by cckv was closed Jul 31, 2024
Infer v1.2 fails to analyze a project that Infer v.1.1 can analyze
#1849 by thanhtoantnt was closed Aug 19, 2024
The summary of function in pulse-model-free-pattern is not the same as free
#1847 by thanhtoantnt was closed Jul 3, 2024
3 of 5 tasks
2
Maven build with java 17 failed
#1846 by mstepan was closed Jul 15, 2024
4
Evaluación 20%
#1843 by mafufuma09 was closed Jun 22, 2024
Bump ws from 7.5.9 to 7.5.10 in /website CLA Signed dependencies Pull requests that update a dependency file Merged
#1841 by dependabot bot was closed Jun 19, 2024 Loading…
3
Bump braces from 3.0.2 to 3.0.3 in /website CLA Signed dependencies Pull requests that update a dependency file Merged
#1840 by dependabot bot was closed Jun 19, 2024 Loading…
4
Infer cannot report memory leak caused by new?
#1839 by u201111476 was closed Jun 26, 2024
Can Infer spot dead code in C?
#1837 by u201111476 was closed Jun 5, 2024
2
Is this feedback correct?
#1833 by wbhqmzl was closed Apr 23, 2024
[inferbo] add support for insert and initializer_list in StdVector model CLA Signed Merged
#1831 by shenjunjiekoda was closed Apr 19, 2024 Loading…
28
[website] Clarify issue typeVECTOR_INVALIDATION example with pointer assignment CLA Signed Merged
#1830 by shenjunjiekoda was closed Apr 19, 2024 Loading…
4
Treat *.ml{i} in Linguist as OCaml CLA Signed Merged
#1828 by kevinji was closed Apr 2, 2024 Loading…
3
Usage Error: Java model file is required
#1827 by yuFeiCode was closed Mar 30, 2024
3 tasks
Bump express from 4.18.2 to 4.19.2 in /website CLA Signed dependencies Pull requests that update a dependency file Merged
#1826 by dependabot bot was closed Apr 2, 2024 Loading…
3
Fix the ocamlformat install step in the GitHub worflow CLA Signed Merged
#1825 by jeremydubreil was closed Apr 2, 2024 Loading…
3
Refactor exec_node in WorstCaseCost CLA Signed
#1824 by ghost was closed Mar 26, 2024 Loading…
2
distinguish between Cheap and NoModel cases in instantiated_cost CLA Signed
#1823 by ghost was closed Mar 24, 2024 Loading…
ProTip! Find all open issues with in progress development work with linked:pr.