Errors when handling xcodebuild in compile_commands.json
- Dominant language
- OCaml
- Stars
- 15.7k
- Forks
- 2.1k
- Avg merge
- 19h 36m
- Merged PRs (30d)
- 13
Description
my macos 15.5 (24F74), Apple M4
xcode 16.4
Infer version v1.2.0
Copyright 2009 - present Facebook. All Rights Reserved.
xcpretty -v ─╯
0.4.1
`xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulator | tee xcodebuild.log | xcpretty -r json-compilation-database -o compile_commands.json`
build success
`infer run --keep-going --skip-analysis-in-path Pods --compilation-database-escaped compile_commands.json`
error:
`External Error: Json file doesn't have the expected format: the value of the "file" field is not a string; found 'null' instead
Error backtrace:
Raised at Stdlib__Hashtbl.MakeSeeded.find in file "hashtbl.ml", line 389, characters 17-32
Called from Re__Core.find_state in file "lib/core.ml", line 139, characters 4-44
Re-raised at IBase__Die.raise_error.do_raise in file "src/base/Die.ml" (inlined), line 26, characters 8-56
Called from IBase__Logging.die.(fun) in file "src/base/Logging.ml", line 342, characters 6-39
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Stdlib__List.iter in file "list.ml" (inlined), line 110, characters 17-25
Called from Base__List0.iter in file "src/list0.ml" (inlined), line 25, characters 16-35
Called from Integration__CompilationDatabase.decode_json_file.parse_command in file "src/integration/CompilationDatabase.ml", line 100, characters 8-37
Called from Stdlib__List.fold_left in file "list.ml" (inlined), line 121, characters 24-34
Called from Base__List0.fold in file "src/list0.ml" (inlined), line 21, characters 22-52
Called from Integration__CompilationDatabase.decode_json_file in file "src/integration/CompilationDatabase.ml", line 135, characters 6-56
Called from Stdlib__List.fold_left in file "list.ml" (inlined), line 121, characters 24-34
Called from Base__List0.fold in file "src/list0.ml" (inlined), line 21, characters 22-52
Called from Integration__CompilationDatabase.from_json_files in file "src/integration/CompilationDatabase.ml", line 142, characters 11-66
Called from Integration__CaptureCompilationDatabase.capture in file "src/integration/CaptureCompilationDatabase.ml", line 177, characters 29-86
Called from Integration__Driver.capture in file "src/integration/Driver.ml", line 184, characters 10-69
Called from IBase__Utils.timeit in file "src/base/Utils.ml", line 437, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml", line 109, characters 26-41
Called from Backend__GCStats.log_f in file "src/backend/GCStats.ml" (inlined), line 93, characters 10-14
Called from Integration__Driver.capture in file "src/integration/Driver.ml", line 259, characters 2-362
Called from Dune__exe__Infer.run_ in file "src/infer.ml" (inlined), line 21, characters 2-36
Called from IBase__Utils.timeit in file "src/base/Utils.ml" (inlined), line 437, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 109, characters 26-41
Called from Dune__exe__Infer.run in file "src/infer.ml", line 28, characters 2-75`
replace "file":null with "file":""; run again , still error:
`Uncaught Internal Error: End_of_file
Error backtrace:
Raised at Stdlib.input_line.scan in file "stdlib.ml", line 456, characters 14-31
Called from Stdio__In_channel.input_line_exn in file "src/in_channel.ml", line 64, characters 13-30
Called from IBase__Utils.with_process_in.f in file "src/base/Utils.ml" (inlined), line 291, characters 13-22
Called from IBase__Exception.try_finally in file "src/base/Exception.ml" (inlined), line 29, characters 8-12
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml", line 220, characters 12-45
Re-raised at IStdlib__IExn.reraise_after in file "src/istd/IExn.ml" (inlined), line 13, characters 2-50
Called from IBase__Exception.try_finally in file "src/base/Exception.ml" (inlined), line 42, characters 6-279
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml", line 220, characters 12-45
Called from Integration__CompilationDatabase.decode_json_file.unescape_path in file "src/integration/CompilationDatabase.ml", line 42, characters 8-127
Called from Integration__CompilationDatabase.decode_json_file.parse_command.one_field in file "src/integration/CompilationDatabase.ml", line 63, characters 23-40
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Stdlib__List.iter in file "list.ml" (inlined), line 110, characters 17-25
Called from Base__List0.iter in file "src/list0.ml" (inlined), line 25, characters 16-35
Called from Integration__CompilationDatabase.decode_json_file.parse_command in file "src/integration/CompilationDatabase.ml", line 100, characters 8-37
Called from Stdlib__List.fold_left in file "list.ml" (inlined), line 121, characters 24-34
Called from Base__List0.fold in file "src/list0.ml" (inlined), line 21, characters 22-52
Called from Integration__CompilationDatabase.decode_json_file in file "src/integration/CompilationDatabase.ml", line 135, characters 6-56
Called from Stdlib__List.fold_left in file "list.ml" (inlined), line 121, characters 24-34
Called from Base__List0.fold in file "src/list0.ml" (inlined), line 21, characters 22-52
Called from Integration__CompilationDatabase.from_json_files in file "src/integration/CompilationDatabase.ml", line 142, characters 11-66
Called from Integration__CaptureCompilationDatabase.capture in file "src/integration/CaptureCompilationDatabase.ml", line 177, characters 29-86
Called from Integration__Driver.capture in file "src/integration/Driver.ml", line 184, characters 10-69
Called from IBase__Utils.timeit in file "src/base/Utils.ml", line 437, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml", line 109, characters 26-41
Called from Backend__GCStats.log_f in file "src/backend/GCStats.ml" (inlined), line 93, characters 10-14
Called from Integration__Driver.capture in file "src/integration/Driver.ml", line 259, characters 2-362
Called from Dune__exe__Infer.run_ in file "src/infer.ml" (inlined), line 21, characters 2-36
Called from IBase__Utils.timeit in file "src/base/Utils.ml" (inlined), line 437, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 109, characters 26-41
Called from Dune__exe__Infer.run in file "src/infer.ml", line 28, characters 2-75`
Contributor guide
Assessment
This issue has not been assessed yet.