analyze uftrace failed
Please make sure your issue is not addressed in the FAQ.
Please include the following information:
-
Infer version v1.1.0
-
Ubuntu 22.04.1 LTS
-
infer run --keep-going -- make
-
analyze https://github.com/namhyung/uftrace
-
error logs:
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace, preprocessed source, and associated run script. Segmentation fault (core dumped) ERROR RUNNING CAPTURE: Bi_inbuf.End_of_input Raised at Bi_inbuf.read_char in file "src/bi_inbuf.ml", line 49, characters 6-24 Called from Bi_io.read_tag in file "src/bi_io.ml" (inlined), line 508, characters 12-35 Called from ATDGenerated__Clang_ast_b.read_decl in file "src/atd/clang_ast_b.ml", line 40289, characters 7-24 Called from Atdgen_runtime__Util.Biniou.from_channel in file "atdgen-runtime/src/util.ml" (inlined), line 30, characters 4-11 Called from ClangFrontend__Capture.validate_decl_from_channel in file "src/clang/Capture.ml", line 27, characters 2-113