search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.95k stars 2.01k forks source link

Analysis failed because of uncaught internal error #1015

Open dxinl opened 6 years ago

dxinl commented 6 years ago

Hi, I used GitLab CI to trigger infer analysis and occurred an internal error.

My commands as follows:

git diff --name-only origin/${CI_COMMIT_REF_NAME}..origin/develop > index.txt
infer capture -- ./gradlew assembleRelease
infer analyze --fail-on-issue --eradicate --changed-files-index ./index.txt

And the log as follows:

Found 1 (out of 2381) source file to analyze in /builds/faceu-android/faceu_android/infer-out
Starting analysis...

legend:
  "F" analyzing a file
  "." analyzing a procedure

F........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................Uncaught Internal Error: (Sys_error
  "my_project_path/infer-out/specs/infer.tmp.e926e6: No such file or directory")
Error backtrace:
Raised by primitive operation at file "pervasives.ml", line 315, characters 29-55
Called from file "src/out_channel.ml" (inlined), line 35, characters 2-35
Called from file "src/core_filename.ml" (inlined), line 141, characters 27-77
Called from file "src/core_filename.ml", line 123, characters 6-12
Re-raised at file "src/core_filename.ml", line 125, characters 30-37
Called from file "src/core_filename.ml" (inlined), line 125, characters 43-65
Called from file "src/core_filename.ml" (inlined), line 127, characters 2-12
Called from file "src/core_filename.ml" (inlined), line 140, characters 2-109
Called from file "base/Utils.ml", line 194, characters 4-70
Called from file "backend/ondemand.ml" (inlined), line 128, characters 4-25
Called from file "backend/ondemand.ml", line 155, characters 24-43
Re-raised at file "istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "backend/ondemand.ml", line 158, characters 4-93
Called from file "backend/ondemand.ml" (inlined), line 173, characters 7-80
Called from file "backend/ondemand.ml", line 185, characters 10-49
Called from file "biabduction/SymExec.ml", line 707, characters 19-50
Called from file "biabduction/SymExec.ml", line 1187, characters 12-122
Called from file "biabduction/SymExec.ml" (inlined), line 1850, characters 10-89
Called from file "base/Config.ml" (inlined), line 2951, characters 6-9
Called from file "base/Utils.ml" (inlined), line 165, characters 8-12
Called from file "base/Utils.ml" (inlined), line 174, characters 16-54
Called from file "base/Config.ml" (inlined), line 2948, characters 2-113
Called from file "base/Config.ml" (inlined), line 2973, characters 38-83
Called from file "biabduction/SymExec.ml", line 1847, characters 6-212
Re-raised at file "istd/IExn.ml" (inlined), line 13, characters 2-50
Called from file "base/Utils.ml" (inlined), line 166, characters 6-141
Called from file "base/Utils.ml" (inlined), line 174, characters 16-54
Called from file "base/Config.ml" (inlined), line 2948, characters 2-113
Called from file "base/Config.ml" (inlined), line 2973, characters 38-83
Called from file "biabduction/SymExec.ml", line 1847, characters 6-212
Re-raised at file "istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "biabduction/SymExec.ml", line 1867, characters 4-110
Called from file "biabduction/SymExec.ml", line 1891, characters 11-74
Called from file "biabduction/SymExec.ml" (inlined), line 1896, characters 23-45
Called from file "map.ml", line 315, characters 19-42
Called from file "map.ml" (inlined), line 311, characters 17-140
Called from file "biabduction/SymExec.ml" (inlined), line 1896, characters 4-70
Called from file "array.ml" (inlined), line 158, characters 9-30
Called from file "src/array0.ml" (inlined), line 50, characters 29-62
Called from file "IR/Instrs.ml" (inlined), line 109, characters 6-32
Called from file "biabduction/SymExec.ml", line 1898, characters 2-76
Called from file "biabduction/interproc.ml", line 386, characters 4-109
Called from file "biabduction/interproc.ml", line 460, characters 17-91
Re-raised at file "istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "biabduction/interproc.ml", line 465, characters 6-114
Called from file "biabduction/interproc.ml" (inlined), line 482, characters 17-47
Called from file "biabduction/interproc.ml" (inlined), line 429, characters 6-30
Called from file "map.ml" (inlined), line 291, characters 20-25
Called from file "map.ml" (inlined), line 291, characters 10-18
Called from file "biabduction/interproc.ml" (inlined), line 431, characters 4-34
Called from file "biabduction/interproc.ml" (inlined), line 482, characters 8-60
Called from file "biabduction/interproc.ml", line 492, characters 6-55
Re-raised at file "istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "biabduction/interproc.ml", line 496, characters 6-78
Called from file "biabduction/interproc.ml", line 509, characters 4-40
Called from file "biabduction/Timeout.ml" (inlined), line 117, characters 8-11
Called from file "base/SymOp.ml" (inlined), line 26, characters 8-12
Called from file "biabduction/Timeout.ml", line 114, characters 4-165
Re-raised at file "istd/IExn.ml" (inlined), line 13, characters 2-50
Called from file "base/SymOp.ml" (inlined), line 33, characters 6-285
Called from file "biabduction/Timeout.ml", line 114, characters 4-165
Called from file "biabduction/interproc.ml", line 1147, characters 12-37
Called from file "base/Config.ml" (inlined), line 2951, characters 6-9
Called from file "base/Utils.ml" (inlined), line 165, characters 8-12
Called from file "base/Utils.ml" (inlined), line 174, characters 16-54
Called from file "base/Config.ml", line 2948, characters 2-113
Re-raised at file "istd/IExn.ml" (inlined), line 13, characters 2-50
Called from file "base/Utils.ml" (inlined), line 166, characters 6-141
Called from file "base/Utils.ml" (inlined), line 174, characters 16-54
Called from file "base/Config.ml", line 2948, characters 2-113
Called from file "base/Config.ml" (inlined), line 2961, characters 32-82
Called from file "biabduction/interproc.ml", line 1232, characters 18-83
Called from file "biabduction/interproc.ml", line 1260, characters 15-61
Re-raised at file "istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "biabduction/interproc.ml", line 1261, characters 6-78
Called from file "list.ml", line 111, characters 24-34
Called from file "backend/ondemand.ml", line 152, characters 51-92
Re-raised at file "istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "backend/ondemand.ml", line 158, characters 4-93
Called from file "backend/ondemand.ml" (inlined), line 173, characters 7-80
Called from file "backend/ondemand.ml" (inlined), line 204, characters 14-53
Called from file "absint/SummaryPayload.ml", line 36, characters 4-57
Called from file "concurrency/RacerD.ml", line 431, characters 34-88
Called from file "absint/LowerHil.ml", line 80, characters 28-91
Called from file "absint/AbstractInterpreter.ml" (inlined), line 72, characters 39-92
Called from file "array.ml" (inlined), line 158, characters 9-30
Called from file "src/array0.ml" (inlined), line 50, characters 29-62
Called from file "IR/Instrs.ml" (inlined), line 109, characters 6-32
Called from file "absint/AbstractInterpreter.ml", line 73, characters 10-54
Called from file "absint/AbstractInterpreter.ml", line 130, characters 14-76
Called from file "absint/AbstractInterpreter.ml" (inlined), line 145, characters 4-59
Called from file "absint/AbstractInterpreter.ml" (inlined), line 156, characters 18-56
Called from file "absint/LowerHil.ml" (inlined), line 97, characters 22-89
Called from file "concurrency/RacerD.ml", line 738, characters 10-50
Called from file "list.ml", line 111, characters 24-34
Called from file "backend/ondemand.ml", line 152, characters 51-92
Re-raised at file "istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "backend/ondemand.ml", line 158, characters 4-93
Called from file "backend/ondemand.ml" (inlined), line 173, characters 7-80
Called from file "backend/ondemand.ml" (inlined), line 204, characters 14-53
Called from file "backend/callbacks.ml" (inlined), line 148, characters 40-72
Called from file "list.ml", line 100, characters 12-15
Called from file "list.ml" (inlined), line 98, characters 13-64
Called from file "src/list0.ml" (inlined), line 26, characters 40-75
Called from file "backend/callbacks.ml", line 149, characters 2-49
Called from file "backend/InferAnalyze.ml", line 21, characters 8-43
Called from file "backend/Tasks.ml" (inlined), line 24, characters 63-73
Called from file "list.ml" (inlined), line 100, characters 12-15
Called from file "list.ml" (inlined), line 98, characters 13-64
Called from file "src/list0.ml" (inlined), line 26, characters 40-75
Called from file "backend/Tasks.ml", line 24, characters 34-80
Called from file "base/ProcessPool.ml" (inlined), line 36, characters 6-9
Called from file "backend/Tasks.ml" (inlined), line 56, characters 19-83
Called from file "list.ml", line 100, characters 12-15
Called from file "backend/InferAnalyze.ml" (inlined), line 121, characters 6-54
Called from file "list.ml", line 100, characters 12-15
Called from file "list.ml" (inlined), line 98, characters 13-64
Called from file "src/list0.ml" (inlined), line 26, characters 40-75
Called from file "backend/InferAnalyze.ml", line 123, characters 4-48
Called from file "integration/Driver.ml", line 301, characters 2-34
Called from file "integration/Driver.ml" (inlined), line 380, characters 32-62
Called from file "infer.ml" (inlined), line 21, characters 2-47
Called from file "infer.ml", line 128, characters 8-26

Run the command again with `--keep-going` to try and ignore this error.
Internal Error: Error in infer subprocess: exited with code 2

Error backtrace:
Raised at file "base/Die.ml", line 25, characters 6-36
Called from file "base/ProcessPool.ml", line 24, characters 6-93
Called from file "base/ProcessPool.ml" (inlined), line 28, characters 61-73
Called from file "backend/Tasks.ml", line 61, characters 4-36
Called from file "backend/InferAnalyze.ml", line 124, characters 4-32
Called from file "integration/Driver.ml", line 301, characters 2-34
Called from file "integration/Driver.ml" (inlined), line 380, characters 32-62
Called from file "infer.ml" (inlined), line 21, characters 2-47
Called from file "infer.ml", line 128, characters 8-26

Run the command again with `--keep-going` to try and ignore this error.

Please help, thanks.

jvillard commented 6 years ago

I'm not sure at all what's happening so just shooting in the dark here: