Uncaught Internal Error: (Unix.Unix_error "No such file or directory" connect "((addr (ADDR_UNIX sqlite_write_socket)))")

[Huiz110]

I got this error when running the command below, how can i work through?

Please include the following information:

• The version of infer from infer --version.
  Infer version v1.0.0
• Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc.
  macOS Catalina 10.15.5
• Which command you ran.

xcodebuild -workspace YXDriverAide.xcworkspace -configuration Debug -scheme YXDriverAide-Example -sdk iphonesimulator -arch i386 -DEBUG_INFORMATION_FORMAT=dwarf -UseNewBuildSystem=NO clean build

LD=/usr/bin/true infer -- xcodebuild -workspace YXDriverAide.xcworkspace -configuration Debug -scheme YXDriverAide-Example -sdk iphonesimulator -arch i386 -DEBUG_INFORMATION_FORMAT=dwarf -UseNewBuildSystem=NO

• The full output in a paste, for instance a gist.

XCODEBUILD:     /usr/bin/codesign --force --sign - --entitlements /Users/huiz/Library/Developer/Xcode/DerivedData/YXDriverAide-dkgupajrjlkkojgyemkgytujntnx/Build/Intermediates.noindex/YXDriverAide.build/Debug-iphonesimulator/YXDriverAide_Example.build/YXDriverAide_Example.app.xcent --timestamp=none /Users/huiz/Library/Developer/Xcode/DerivedData/YXDriverAide-dkgupajrjlkkojgyemkgytujntnx/Build/Products/Debug-iphonesimulator/YXDriverAide_Example.app
XCODEBUILD: /Users/huiz/Library/Developer/Xcode/DerivedData/YXDriverAide-dkgupajrjlkkojgyemkgytujntnx/Build/Products/Debug-iphonesimulator/YXDriverAide_Example.app: replacing existing signature
XCODEBUILD:
XCODEBUILD: ** BUILD SUCCEEDED **
XCODEBUILD:
Uncaught Internal Error: (Unix.Unix_error "No such file or directory" connect
  "((addr (ADDR_UNIX sqlite_write_socket)))")
Error backtrace:
Raised at Core__Core_unix.improve in file "src/core_unix.ml" (inlined), line 46, characters 4-43
Called from Core__Core_unix.open_connection in file "src/core_unix.ml" (inlined), line 2650, characters 2-73
Called from IBase__DBWriter.Server.send.(fun) in file "src/base/DBWriter.ml", line 359, characters 63-95
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 183, characters 8-12
Called from IBase__Utils.try_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 193, characters 16-54
Called from IBase__Utils.do_in_dir in file "src/base/Utils.ml" (inlined), line 429, characters 2-68
Called from IBase__DBWriter.Server.in_results_dir in file "src/base/DBWriter.ml" (inlined), line 317, characters 26-77
Called from IBase__DBWriter.Server.send in file "src/base/DBWriter.ml", line 359, characters 34-96
Re-raised at IStdlib__IExn.reraise_after in file "src/istd/IExn.ml" (inlined), line 13, characters 2-50
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 185, characters 6-141
Called from IBase__Utils.try_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 193, characters 16-54
Called from IBase__Utils.do_in_dir in file "src/base/Utils.ml" (inlined), line 429, characters 2-68
Called from IBase__DBWriter.Server.in_results_dir in file "src/base/DBWriter.ml" (inlined), line 317, characters 26-77
Called from IBase__DBWriter.Server.send in file "src/base/DBWriter.ml", line 359, characters 34-96
Called from IBase__DBWriter.perform in file "src/base/DBWriter.ml" (inlined), line 390, characters 37-52
Called from IBase__DBWriter.delete_all_specs in file "src/base/DBWriter.ml" (inlined), line 419, characters 26-48
Called from Backend__InferAnalyze.main in file "src/backend/InferAnalyze.ml", line 251, characters 49-77
Called from Integration__Driver.execute_analyze.(fun) in file "src/integration/Driver.ml" (inlined), line 191, characters 2-34
Called from Backend__GCStats.log_f in file "src/backend/GCStats.ml" (inlined), line 90, characters 10-14
Called from Integration__Driver.execute_analyze in file "src/integration/Driver.ml", line 188, characters 2-239
Called from IBase__Utils.timeit in file "src/base/Utils.ml", line 421, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 79, characters 29-44
Called from Integration__Driver.analyze_and_report in file "src/integration/Driver.ml" (inlined), line 285, characters 2-144
Called from Dune__exe__Infer.run in file "src/infer.ml" (inlined), line 21, characters 2-47
Called from IBase__Utils.timeit in file "src/base/Utils.ml" (inlined), line 421, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 79, characters 29-44
Called from Dune__exe__Infer.run in file "src/infer.ml", line 25, characters 22-94

90283: Error while running epilogue "Stop Sqlite write daemon":
(Unix.Unix_error "No such file or directory" connect
 "((addr (ADDR_UNIX sqlite_write_socket)))").
Powering through...

[apov1]

I'm experiencing the same issue on macOS 10.15.6.

[Huiz110]

It works when the workspace use new build system.

[wuhaiwei]

It works when the workspace use new build system.

me too

[qiyer]

The same issue on macOS 10.15.7 .

[qiyer]

It works when the workspace use new build system.

Use “New Build System” is ok.

[fakedrake]

same error using cmake on ubuntu 20.04 but it works if I pass -j 1

[zhongkouwei]

me too

[zhongkouwei]

run "clean" before you start

[gsuberland]

I'm getting a very similar error under WSL2:

Uncaught Internal Error: (Unix.Unix_error "Operation not supported" bind
  "((fd 7) (addr (ADDR_UNIX sqlite_write_socket)))")
Error backtrace:
Raised at Core__Core_unix.improve in file "src/core_unix.ml", line 46, characters 4-43
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml", line 215, characters 8-12
Re-raised at IStdlib__IExn.reraise_after in file "src/istd/IExn.ml", line 13, characters 2-50
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml", line 217, characters 6-141
Called from IBase__Utils.try_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 225, characters 16-54
Called from IBase__Utils.do_in_dir in file "src/base/Utils.ml", line 437, characters 2-68
Called from IBase__DBWriter.Server.in_results_dir in file "src/base/DBWriter.ml" (inlined), line 317, characters 26-77
Called from IBase__DBWriter.Server.server in file "src/base/DBWriter.ml", line 344, characters 4-68
Called from IBase__DBWriter.Server.start in file "src/base/DBWriter.ml", line 381, characters 8-38
Called from Dune__exe__Infer.setup.(fun) in file "src/infer.ml", line 32, characters 8-25
Called from Dune__exe__Infer.setup in file "src/infer.ml", line 76, characters 4-15

[achmadafriza]

This also happens on javac compilation.

• Infer version:

Infer version v1.1.0

• OS

WSL version: 1.2.5.0
Kernel version: 5.15.90.1
WSLg version: 1.0.51
MSRDC version: 1.2.3770
Direct3D version: 1.608.2-61064218
DXCore version: 10.0.25131.1002-220531-1700.rs-onecore-base2-hyp
Windows version: 10.0.19045.3208

Using Ubuntu 20.04.6 LTS

• Output

Uncaught Internal Error: (Unix.Unix_error "Operation not supported" bind
  "((fd 7) (addr (ADDR_UNIX sqlite_write_socket)))")
Error backtrace:
Raised at Core__Core_unix.improve in file "src/core_unix.ml" (inlined), line 46, characters 4-43
Called from Core__Core_unix.bind in file "src/core_unix.ml" (inlined), line 2457, characters 2-79
Called from IBase__DBWriter.Server.server.(fun) in file "src/base/DBWriter.ml" (inlined), line 344, characters 33-67
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 215, characters 8-12
Called from IBase__Utils.try_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 225, characters 16-54
Called from IBase__Utils.do_in_dir in file "src/base/Utils.ml" (inlined), line 437, characters 2-68
Called from IBase__DBWriter.Server.in_results_dir in file "src/base/DBWriter.ml" (inlined), line 317, characters 26-77
Called from IBase__DBWriter.Server.server in file "src/base/DBWriter.ml" (inlined), line 344, characters 4-68
Called from IBase__ForkUtils.protect in file "src/base/ForkUtils.ml" (inlined), line 18, characters 2-5
Called from IBase__DBWriter.Server.start in file "src/base/DBWriter.ml" (inlined), line 381, characters 8-38
Called from IBase__DBWriter.start in file "src/base/DBWriter.ml" (inlined), line 392, characters 15-30
Called from Dune__exe__Infer.setup.(fun) in file "src/infer.ml" (inlined), line 32, characters 8-25
Called from Dune__exe__Infer.setup in file "src/infer.ml", line 60, characters 8-19
Re-raised at IStdlib__IExn.reraise_after in file "src/istd/IExn.ml" (inlined), line 13, characters 2-50
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 217, characters 6-141
Called from IBase__Utils.try_finally_swallow_timeout in file "src/base/Utils.ml" (inlined), line 225, characters 16-54
Called from IBase__Utils.do_in_dir in file "src/base/Utils.ml" (inlined), line 437, characters 2-68
Called from IBase__DBWriter.Server.in_results_dir in file "src/base/DBWriter.ml" (inlined), line 317, characters 26-77
Called from IBase__DBWriter.Server.server in file "src/base/DBWriter.ml" (inlined), line 344, characters 4-68
Called from IBase__ForkUtils.protect in file "src/base/ForkUtils.ml" (inlined), line 18, characters 2-5
Called from IBase__DBWriter.Server.start in file "src/base/DBWriter.ml" (inlined), line 381, characters 8-38
Called from IBase__DBWriter.start in file "src/base/DBWriter.ml" (inlined), line 392, characters 15-30
Called from Dune__exe__Infer.setup.(fun) in file "src/infer.ml" (inlined), line 32, characters 8-25
Called from Dune__exe__Infer.setup in file "src/infer.ml", line 60, characters 8-19

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



^CWaiting for Sqlite write daemon to start (0.200000 seconds)
Waiting for Sqlite write daemon to start (0.400000 seconds)
Waiting for Sqlite write daemon to start (0.800000 seconds)
Waiting for Sqlite write daemon to start (1.600000 seconds)
Waiting for Sqlite write daemon to start (3.200000 seconds)
Uncaught Internal Error: (IBase.Epilogues.Sigint)
Error backtrace:
Raised at IBase__Epilogues.(fun) in file "src/base/Epilogues.ml", line 45, characters 62-74
Called from Core__Core_unix in file "src/core_unix.ml" (inlined), line 2826, characters 0-62
Called from IBase__DBWriter.Server.wait_for_server_start in file "src/base/DBWriter.ml", line 371, characters 4-28
Called from Core__Core_unix in file "src/core_unix.ml" (inlined), line 2826, characters 0-62
Called from IBase__DBWriter.Server.wait_for_server_start in file "src/base/DBWriter.ml", line 371, characters 4-28
Called from IBase__DBWriter.Server.wait_for_server_start in file "src/base/DBWriter.ml" (inlined), line 375, characters 6-38
Called from IBase__DBWriter.Server.wait_for_server_start in file "src/base/DBWriter.ml" (inlined), line 375, characters 6-38
Called from IBase__DBWriter.Server.start in file "src/base/DBWriter.ml" (inlined), line 384, characters 8-69
Called from IBase__DBWriter.start in file "src/base/DBWriter.ml" (inlined), line 392, characters 15-30
Called from Dune__exe__Infer.setup.(fun) in file "src/infer.ml" (inlined), line 32, characters 8-25
Called from Dune__exe__Infer.setup in file "src/infer.ml", line 60, characters 8-19

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