Internal Error with iOS project

[passol1988]

when I use it with iOS project, it always prompts error:

Internal Error:   /usr/local/Cellar/infer/0.15.0/lib/infer/infer/bin/../lib/python/infer.py
  -j 4 --project-root
...
  exited with code 65
Error backtrace:
Raised at file "base/Die.ml" (inlined), line 25, characters 6-36
Called from file "base/Logging.ml", line 314, characters 58-80
Called from file "integration/Driver.ml", line 159, characters 2-16
Called from file "integration/Driver.ml", line 280, characters 6-420
Called from file "infer.ml", line 20, characters 2-36
Called from file "infer.ml", line 130, characters 8-54

[stefenson]

I have the same error while analyze my project...

[qyz777]

I met this problem, too...

[jvillard]

What command do you run? The recommended way to run infer on iOS projects is to generate a compilation database using xcpretty.

[yuweixx]

I have the same error while analyze my project...

[skywancen]

I also met this problem, how to resolve it?

[jvillard]

This error just means that some part of infer failed. We need more information to investigate:

• the version of infer used
• the command used to run infer that causes the crash
• the full output of infer

Thanks!

[csknns]

Make sure you have disabled COMPILER_INDEX_STORE_ENABLE build setting in all your targets (and PODs)

[ZhangJin233]

I have the same error while analyze my project: Infer version v0.15.0 infer -- xcodebuild -workspace 1234.xcworkspace -scheme *1234 -configuration Debug -sdk iphonesimulator or infer -- xcodebuild -workspace 1234.xcworkspace -scheme 1234

it always prompts error: Internal Error: /usr/local/Cellar/infer/0.15.0/lib/infer/infer/bin/../lib/python/infer.py -j 4 --project-root /Users/hhh/Documents/Gb/1234 --out /Users/hhh/Documents/Gb/1234/infer-out -- xcodebuild -workspace 1234.xcworkspace -scheme 1234 -configuration Debug -sdk iphonesimulator: exited with code 65 Error backtrace: Raised at file "base/Die.ml" (inlined), line 25, characters 6-36 Called from file "base/Logging.ml", line 314, characters 58-80 Called from file "integration/Driver.ml", line 159, characters 2-16 Called from file "integration/Driver.ml", line 280, characters 6-420 Called from file "infer.ml", line 20, characters 2-36 Called from file "infer.ml", line 130, characters 8-54

[Vickeywei]

My project showed up in Chinese on the project file path and was finally replaced with English to complete the solution, but the third party introduced by pod file at compile time could not find the error.😓

[xhdrq]

I have the same error while analyze my project...

[zlychelsea]

I met the same problem

[hmusavi]

I also run into a similar error. It is not an iOS project either. It's a very large Java and Groovy project. Also error only occurs when --reactive option is used. Thanks for any suggestion.

Internal Error:   /opt/infer-osx-v0.17.0/lib/infer/infer/bin/../lib/python/infer.py
  --force-integration gradle -j 8 --project-root /Users/hmusavi/app
  --out /Users/hmusavi/elis/apps/infer-out --
  /Users/hmusavi/elis/tools/gradle-2.13/bin/gradle
  assemble:
  exited with code 1
Error backtrace:
Raised at file "string.ml", line 142, characters 16-31
Called from file "src/string.ml", line 407, characters 12-33
Called from file "src/string.ml", line 416, characters 11-33
Re-raised at file "base/Die.ml" (inlined), line 26, characters 8-56
Called from file "base/Die.ml", line 32, characters 6-39
Called from file "integration/Driver.ml", line 171, characters 2-16
Called from file "integration/Driver.ml", line 272, characters 6-409
Called from file "integration/Driver.ml" (inlined), line 323, characters 2-29
Called from file "integration/Driver.ml", line 328, characters 62-89
Called from file "base/Utils.ml", line 398, characters 16-20
Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
Called from file "infer.ml", line 20, characters 2-36
Called from file "base/Utils.ml", line 398, characters 16-20
Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
Called from file "infer.ml" (inlined), line 25, characters 22-94
Called from file "infer.ml", line 137, characters 8-54