issues Search Results · repo:facebook/infer language:OCaml
Filter by
1k results
(97 ms)1k results
infacebook/infer (press backspace or delete to remove)It seems that infer has imposed a limit on how deep they analyze loops/number of steps of code. When I have code with
multiple loops each going for many iterations, only the first couple of errors that ...
ChengsongTan
- Opened 7 days ago
- #1887
OS: ubuntu24.04 infer: v1.2.0
$ infer run -- clang -c hello.c Capturing in make/cc mode... Nothing to compile. Try running clang clean first. There
was nothing to analyze.
No issues found
TimeFunny
- Opened 17 days ago
- #1886
Context
I m trying to run Infer v1.2.0 on a complex C++20 codebase. The codebase uses a mix of custom build scripts, using ninja
and cmake, to build multiple git submodules and tree main build targets. ...
claudiacauli
- Opened 22 days ago
- #1885
Hi,
this error :
src/core/execution/graph.cpp:175: error: Use After Delete
accessing `v` that was invalidated by `delete` on line 175.
173. /* delete vertices from _vertices and clear */
174. ...
conversy
- Opened 23 days ago
- #1884
I m just resurrecting the issue #1817 as it was closed by @ngorogiannis but actually is still not fixed and I cannot
reopen it myself.
This time I m running infer directly build from the source, version ...
lesquoyb
- Opened 27 days ago
- #1883
- Infer version v1.2.0-1b1366e64a -Mac OS ventura, version 13.0
- Gettting error when trying to buikdd clang using this command
- ./build-infer.sh clang
- Following is the detailed output: muqaddasnaz@Muqaddass-MacBook-Pro ...
muqnaz
- Opened on Jan 4
- #1882
Question:
Infer seems not to recognize that setjmp longjmp can lead to drastic changes in control flow. Is it possible to annotate
or add rules in some way for things that I feel should be OK but infer ...
svenssonjoel
- Opened on Dec 29, 2024
- #1881
Capturing in make/cc mode... ld: Undefined symbols: OBJC_CLASS$_NSObject, referenced from: OBJC_CLASS$_Hello in
Hello-05624f.o OBJC_METACLASS$_NSObject, referenced from: OBJC_METACLASS$_Hello in Hello-05624f.o ...
iOSyifeng
- Opened on Dec 5, 2024
- #1879
device: Apple M2
version: macOS Sonoma 14.5
EVN:xcode 15
infer main branch
./build-infer.sh clang
Error make[5]: *** [all] Error 2 make[4]: *** [runtimes/builtins-stamps/builtins-build] Error 2 make[3]: ...
zcDemo
- Opened on Oct 29, 2024
- #1870
Hello,
when I try to unpack the latest binary file on Windows 11, I get errors with either unpacking via File Explorer of Win11
or doing it via 7-zip. Windows reports an unknown error while 7-zip complains ...
GiantCrocodile
- Opened on Oct 12, 2024
- #1869
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.