I use : infer --incremental -- xcodebuild -workspace xxx.xcworkspace -scheme xxx -sdk iphonesimulator -configuration Debug -destination 'platform=iOS Simulator,OS=9.2,name=iPhone 6s' CLANG_ENABLE_MODULES=NO clean build

The following build commands failed: CompileC /Users/jianzhang/Library/Developer/Xcode/DerivedData/xxxxxxxx-aiaocxwzriymuzayasydwppoqjls/Build/Intermediates/Pods.build/Debug-iphonesimulator/MQTTKit.build/Objects-normal/x86_64/logging_mosq.o MQTTKit/libmosquitto/logging_mosq.c normal x86_64 c com.apple.compilers.llvm.clang.1_0.compiler (1 failure) Traceback (most recent call last): File "/usr/local/bin/infer", line 178, in main() File "/usr/local/bin/infer", line 142, in main capture_exitcode = imported_module.gen_instance(args, cmd).capture() File "/usr/local/Cellar/infer/0.8.0/libexec/infer/lib/python/inferlib/capture/xcodebuild.py", line 78, in capture utils.stdout(exc.output) File "/usr/local/Cellar/infer/0.8.0/libexec/infer/lib/python/inferlib/utils.py", line 298, in stdout print(encode(s, errors=errors)) File "/usr/local/Cellar/infer/0.8.0/libexec/infer/lib/python/inferlib/utils.py", line 294, in encode return u.encode(encoding=config.LOCALE, errors=errors) AttributeError: 'NoneType' object has no attribute 'encode'

My project is created by Objective-C. And infer v0.12.0 was run successfully for my project in xcode 8 yesterday. Today I update my xcode to xcode 9, use some APIs in iOS 11, and update infer to v0.12.1. Then when I run infer v0.12.1 on Xcode 9 with iOS 11 and LLVM v9.0.0 using the following command:

infer -- xcodebuild -workspace myProject.xcworkspace -scheme myProject -configuration Debug -sdk iphonesimulator

I got the following results:

Build Succeeded
Starting translating 463 files 

*** ERROR: Failed to execute compilation command. Output:
clang: error: cannot specify -o when generating multiple output files
*** Infer needs a working compilation command to run.

..MANY OF THESE ERRORS...then...

...
*** ERROR: Failed to execute compilation command. Output:
clang: error: cannot specify -o when generating multiple output files
*** Infer needs a working compilation command to run.
..

Nothing to compile. Try running `xcodebuild -workspace myProject.xcworkspace -scheme myProject -configuration Debug -sdk iphonesimulator clean` first.

There was nothing to analyze.

Hi there! The Docusaurus team is currently developing Docusaurus 2 and are almost done with an MVP that doesn't include translations and versioning features, which means there's feature parity with your website's current usage of Docusaurus.

Docusaurus 2 brings about many improvements:

• Client-side rendering with prerendering (site renders without JavaScript!)
• More flexible appearance - Customizable layouts, CSS modules, etc
• Embeddable interactive React components within markdown via MDX

I will be helping you migrate and be the POC throughout the migration process. Let me know what you think!

cc @yangshun @endiliey @wgao19

When I run ./gradlew build, I get a BUILD SUCCESSFUL. When I run infer -- ./gradlew build, I get the following error:

$ ./gradlew build --stacktrace
...

BUILD SUCCESSFUL

...
$ infer -- ./gradlew build --stacktrace
Capturing in gradle mode...
Running and capturing gradle compilation...
Nothing to compile. Try running `./gradlew clean` first.
Uncaught exception:
  
  (Unix.Exit_or_signal (Exit_non_zero 66))

Raised at file "src/error.ml", line 7, characters 20-30
Called from file "backend/infer.ml", line 455, characters 2-21

I'm running OS X El Capitan Version 10.11.6 and Infer 0.10.0.

I tried building clang after java and got stuck in the process.

details:

checking for ant... no checking for buck... no checking for mvn... no checking for ndk-build... no checking for ndk-build... no checking for Python module lxml... ok checking for xcpretty... no configure: saving configure flags to ./config.flags configure: creating ./config.status config.status: creating Makefile.autoconf

Warning: you are not using a release of Infer. The C and Objective-C analyses require a custom clang to be compiled now. This step takes ~30-60 minutes, possibly more.

To speed this along, you are encouraged to use a release of Infer instead:

http://fbinfer.com/docs/getting-started.html

If you are only interested in analyzing Java programs, simply run this script with only the "java" argument:

./build-infer.sh java

Are you sure you want to compile clang? (y/N) y CMake Warning at cmake/modules/HandleLLVMOptions.cmake:143 (message): -fPIC is not supported. Call Stack (most recent call first): cmake/modules/HandleLLVMOptions.cmake:161 (add_flag_or_print_warning) CMakeLists.txt:497 (include)

CMake Warning (dev) at projects/libcxx/CMakeLists.txt:15 (project): Policy CMP0048 is not set: project() command manages VERSION variables. Run "cmake --help-policy CMP0048" for policy details. Use the cmake_policy command to set the policy and suppress this warning.

The following variable(s) would be set to empty:

PROJECT_VERSION
PROJECT_VERSION_MAJOR
PROJECT_VERSION_MINOR
PROJECT_VERSION_PATCH

This warning is for project developers. Use -Wno-dev to suppress it.

clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s' clang: warning: argument unused during compilation: '-s'

This warning is keeping coming and clang is not built

Thanks Shreyas

I am confused how to integrate Infer into our Gitlab CI pipeline at static analysis stage:

• To slow I use this command follow the wiki,but still scan whole project 1700+ files when CI Runner checkout the branch every time。

infer --reactive --continue -- xcodebuild -workspace xxx.xcworkspace -scheme xxx -sdk iphonesimulator10.2 -configuration Debug build

• Can seperate two phases? I just want to analyze the commit files ,but Infer must compile first,and use command infer -- <command> Suppose our CI pipeline include build,test,pre-production,production 4 phase. Assuming there are two jobs in the build phase, the first job is build, the second is static analysis, , and infer - <command> combine two jobs, and make the build phase become slow.

• Can not set the threshold, analyze the results and throw error so that the pipeline to stop

Please give me a suggestion how to integrate infer into our CI process correctly，thanks!

I have tried to test infer using Hello.java which was located in Desktop/Hello folder in my mac. And it said "Failed to load any Java source code". (Refer below commands that I tried.).

CD-RWEERASOORI:Desktop rweerasooriya$ infer -v Infer version v0.1.1 Copyright 2009 - present Facebook. All Rights Reserved.

CD-RWEERASOORI:Desktop rweerasooriya$ java -version java version "1.6.0_65" Java(TM) SE Runtime Environment (build 1.6.0_65-b14-466.1-11M4716) Java HotSpot(TM) 64-Bit Server VM (build 20.65-b04-466.1, mixed mode)

CD-RWEERASOORI:Desktop rweerasooriya$ cd Hello/ CD-RWEERASOORI:Hello rweerasooriya$ ls Hello.java

CD-RWEERASOORI:Hello rweerasooriya$ infer -- javac Hello.java Fatal error: exception Failure("Failed to load any Java source code") [ERROR] Failure during frontend, original command was

[u'inferJ', u'-g', u'-a', 'infer', u'javac', 'Hello.java']

Traceback (most recent call last): File "/Users/rweerasooriya/infer-osx-v0.1.1/infer/infer/bin/inferJ", line 19, in stats = analysis.start() File "/Users/rweerasooriya/infer-osx-v0.1.1/infer/infer/bin/inferlib.py", line 632, in start if self.capture() == os.EX_OK: File "/Users/rweerasooriya/infer-osx-v0.1.1/infer/infer/bin/inferlib.py", line 400, in capture return self.run_infer_frontend() File "/Users/rweerasooriya/infer-osx-v0.1.1/infer/infer/bin/inferlib.py", line 391, in run_infer_frontend self.args.analyzer File "/Users/rweerasooriya/infer-osx-v0.1.1/infer/infer/bin/inferlib.py", line 318, in run_command raise e subprocess.CalledProcessError: Command '[u'/Users/rweerasooriya/infer-osx-v0.1.1/infer/infer/bin/InferJava', u'-results_dir', '/Users/rweerasooriya/Desktop/Hello/infer-out', u'-verbose_out', '/var/folders/x0/_9n0fqgj2zngnvt0642_h384zc4l_4/T/javac_hTItgR.out', u'-models', u'/Users/rweerasooriya/infer-osx-v0.1.1/infer/infer/bin/../lib/java/models.jar', u'-no-static_final']' returned non-zero exit status 2 CD-RWEERASOORI:Hello rweerasooriya$

the log trace is as below: [email protected]:~/workspace/test$ infer -- javac Hello.java TODO: print error message Starting analysis (Infer version v0.1.0) Fatal error: exception Sys_error("/home/wyw/workspace/test/infer-out/captured: No such file or directory") [ERROR] Failure during create_makefile, original command was

[u'inferJ', u'-g', u'-a', 'infer', u'javac', 'Hello.java']

Traceback (most recent call last): File "/home/wyw/Downloads/infer-linux64-v0.1.0/infer/infer/bin/inferJ", line 19, in stats = analysis.start() File "/home/wyw/Downloads/infer-linux64-v0.1.0/infer/infer/bin/inferlib.py", line 634, in start self.analyze_and_report() File "/home/wyw/Downloads/infer-linux64-v0.1.0/infer/infer/bin/inferlib.py", line 613, in analyze_and_report if self.analyze() == os.EX_OK: File "/home/wyw/Downloads/infer-linux64-v0.1.0/infer/infer/bin/inferlib.py", line 489, in analyze self.args.analyzer File "/home/wyw/Downloads/infer-linux64-v0.1.0/infer/infer/bin/inferlib.py", line 318, in run_command raise e subprocess.CalledProcessError: Command '[u'/home/wyw/Downloads/infer-linux64-v0.1.0/infer/infer/bin/InferAnalyze', u'-results_dir', '/home/wyw/workspace/test/infer-out', u'-makefile', u'Makefile', u'-allow_specs_cleanup', u'-models', u'/home/wyw/Downloads/infer-linux64-v0.1.0/infer/infer/bin/../lib/java/models.jar', u'-project_root', '/home/wyw/workspace/test']' returned non-zero exit status 2

Anyone could explain?

Hi again,

In the checker I am trying to create, I need to know whether a fieldname is an instance field or not. Example:

class Hello{
  int foo= 0;

  public void test(){
    int i = 0;
    i=3+foo; // foo is a an instance field
    System.out.println("ok");
  }
}

I took a look at the Ident.java_fieldname_is_outer_instance to give me an idea method but I'm not quite sure when appears the string ".this$".

Do you have any suggestion?

Hi Infer team,

I am making a new checker using the abstract interpretation module of Infer. When reporting alarms, my checker sometimes ignores some of them.

Here is a brief description of the error reporting part in my checker code.

let checker { Callbacks.get_proc_desc; proc_name; proc_desc; tenv; } =
  let post = Interprocedural.checker callback get_proc_desc in
  match post with
  | Some post -> 
      (* iteration on found errors *)
      Error.iter (fun e -> 
        Checkers.ST.report_error tenv
          e.proc_name             (* here, I don't use the parameter *)
          e.proc_desc             (* here, I don't use the parameter *)
          "MY CHECKER"
          e.location
          err_description
      ) errors
  | _ -> ()

Basically I followed the tutorial and I think the only differences are the commented parts. ("proc_name" and "proc_desc")

In my experience, the alarm reporting works well when Infer takes a single file. But it ignores some of them when analyzing multiple files.

Could you give me an advice?

Thanks, Kihong

Many annotation libraries generate class names with $$ in them. It would be great if that could be supported. Currently Infer spits out the following...

Fatal error: exception Invalid_argument("Error : com.company.project.android.activity.TestActivity$$ViewInjector$1 is not a valid name for a class")

Please make sure your issue is not addressed in the FAQ.

Please include the following information:

• [x] The version of infer from infer --version. Infer version v1.1.0 Copyright 2009 - present Facebook. All Rights Reserved.
• [x] Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc. MacOS Big Sur & Xcode 13.0
• [x] Which command you ran, for example infer -- make.

1. xcodebuild clean build -workspace CodeLib.xcworkspace -scheme CodeLib -sdk iphoneos -configuration Release | xcpretty -r json-compilation-database -o compile_commands.json
2. infer run --keep-going -o ./infer --compilation-database-escaped compile_commands.json

• [x] The full output in a paste, for instance a gist. Part I

[31762][      debug] *** Beginning capture of file /Users/yocivic/code/Temp/CodeLib/Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m ***
[31762][      debug] Loading the following linters files: /usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../lib/linter_rules/linters.al
[31762][      debug] 
[31762][ intern err] ERROR RUNNING CAPTURE: "Assert_failure src/clang/objcCategory_decl.ml:20:62"
Raised at ClangFrontend__ObjcCategory_decl.get_classname in file "src/clang/objcCategory_decl.ml", line 20, characters 62-74
Called from ClangFrontend__ObjcCategory_decl.get_classname_from_category_decl in file "src/clang/objcCategory_decl.ml", line 23, characters 44-94
Called from ClangFrontend__CFrontend_decl.CFrontend_decl_funct.translate_one_declaration in file "src/clang/cFrontend_decl.ml", line 383, characters 12-133
Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
Called from Base__List0.iter in file "src/list0.ml" (inlined), line 25, characters 16-35
Called from ClangFrontend__CFrontend.compute_icfg in file "src/clang/cFrontend.ml", line 27, characters 6-130
Called from ClangFrontend__Capture.run_clang_frontend in file "src/clang/Capture.ml", line 94, characters 25-73


[31762][ extern err] Error: the following clang command did not run successfully:
[31762][ extern err]     /usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/bin/clang-11
[31762][ extern err]     @/Users/yocivic/code/Temp/CodeLib/infer/tmp/clang_command_.tmp.beb1bc.txt
[31762][ extern err]   ++Contents of '/Users/yocivic/code/Temp/CodeLib/infer/tmp/clang_command_.tmp.beb1bc.txt':
[31762][ extern err]     "-cc1" "-load"
[31762][ extern err]     "/usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../../facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib"
[31762][ extern err]     "-plugin" "BiniouASTExporter" "-plugin-arg-BiniouASTExporter" "-"
[31762][ extern err]     "-plugin-arg-BiniouASTExporter" "PREPEND_CURRENT_DIR=1"
[31762][ extern err]     "-plugin-arg-BiniouASTExporter" "MAX_STRING_SIZE=65535" "-cc1" "-triple"
[31762][ extern err]     "thumbv7-apple-ios10.0.0" "-Wundef-prefix=TARGET_OS_"
[31762][ extern err]     "-Werror=undef-prefix" "-fsyntax-only" "-disable-free"
[31762][ extern err]     "-disable-llvm-verifier" "-discard-value-names" "-main-file-name"
[31762][ extern err]     "UPCameraFullLiveViewModel.m" "-mrelocation-model" "pic" "-pic-level" "2"
[31762][ extern err]     "-mframe-pointer=all" "-fno-rounding-math" "-faligned-alloc-unavailable"
[31762][ extern err]     "-target-sdk-version=15.0"
[31762][ extern err]     "-fcompatibility-qualified-id-block-type-checking" "-target-cpu"
[31762][ extern err]     "generic" "-target-feature" "+soft-float-abi" "-target-abi" "apcs-gnu"
[31762][ extern err]     "-mfloat-abi" "soft" "-fallow-half-arguments-and-returns"
[31762][ extern err]     "-debug-info-kind=standalone" "-dwarf-version=4" "-debugger-tuning=lldb"
[31762][ extern err]     "-target-linker-version" "650.9" "-resource-dir"
[31762][ extern err]     "/usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/lib/clang/11.1.0"
[31762][ extern err]     "-dependency-file"

Part II

[86363][      debug] *** Beginning capture of file /Users/yocivic/code/Temp/CodeLib/Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m ***
[86363][      debug] Loading the following linters files: /usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../lib/linter_rules/linters.al
[86363][      debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:101:5: ERROR translating statement 'OpaqueValueExpr'
[86363][      debug] 
[86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.fetchPlayerDataModel' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[86363][      debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:123:5: ERROR translating statement 'OpaqueValueExpr'
[86363][      debug] 
[86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.setTalk' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'UPCameraFullLiveViewModel.playerStop' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'UPCameraFullLiveViewModel.playerContinuePlay' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[86363][      debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:249:5: ERROR translating statement 'OpaqueValueExpr'
[86363][      debug] 
[86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.handleInteractionAction:success:failure:' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'UPCameraFullLiveViewModel.setResolutionSuccess:failure:' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[86363][      debug] Elapsed: 19.688s.
[86363][      debug] 
[86363][ extern err] Error: the following clang command did not run successfully:
[86363][ extern err]     /usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/bin/clang-11
[86363][ extern err]     @/Users/yocivic/code/Temp/CodeLib/infer/tmp/clang_command_.tmp.b39a8a.txt
[86363][ extern err]   ++Contents of '/Users/yocivic/code/Temp/CodeLib/infer/tmp/clang_command_.tmp.b39a8a.txt':
[86363][ extern err]     "-cc1" "-load"
[86363][ extern err]     "/usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../../facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib"
[86363][ extern err]     "-plugin" "BiniouASTExporter" "-plugin-arg-BiniouASTExporter" "-"
[86363][ extern err]     "-plugin-arg-BiniouASTExporter" "PREPEND_CURRENT_DIR=1"
[86363][ extern err]     "-plugin-arg-BiniouASTExporter" "MAX_STRING_SIZE=65535" "-cc1" "-triple"
[86363][ extern err]     "thumbv7-apple-ios10.0.0" "-Wundef-prefix=TARGET_OS_"
[86363][ extern err]     "-Werror=undef-prefix" "-fsyntax-only" "-disable-free"
[86363][ extern err]     "-disable-llvm-verifier" "-discard-value-names" "-main-file-name"
[86363][ extern err]     "UPCameraFullLiveViewModel.m" "-mrelocation-model" "pic" "-pic-level" "2"
[86363][ extern err]     "-mframe-pointer=all" "-fno-rounding-math" "-faligned-alloc-unavailable"
[86363][ extern err]     "-target-sdk-version=15.0"
[86363][ extern err]     "-fcompatibility-qualified-id-block-type-checking" "-target-cpu"
[86363][ extern err]     "generic" "-target-feature" "+soft-float-abi" "-target-abi" "apcs-gnu"
[86363][ extern err]     "-mfloat-abi" "soft" "-fallow-half-arguments-and-returns"
[86363][ extern err]     "-debug-info-kind=standalone" "-dwarf-version=4" "-debugger-tuning=lldb"
[86363][ extern err]     "-target-linker-version" "650.9" "-resource-dir"
[86363][ extern err]     "/usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/lib/clang/11.1.0"
[86363][ extern err]     "-dependency-file"

• [ ] If possible, a minimal example to reproduce your problem (for instance, some code where infer reports incorrectly, together with the way you run infer to reproduce the incorrect report).

I have a private pod, and two versions of the pod, 3.0.1 and 3.0.2. When I ran infer run --keep-going -o ./infer --compilation-database-escaped compile_commands.json, I got a logs file in infer dir. The logs contains large of ERROR RUNNING CAPTURE and the following clang command did not run successfully,like this:

[31762][ intern err] ERROR RUNNING CAPTURE: "Assert_failure src/clang/objcCategory_decl.ml:20:62"
Raised at ClangFrontend__ObjcCategory_decl.get_classname in file "src/clang/objcCategory_decl.ml", line 20, characters 62-74
Called from ClangFrontend__ObjcCategory_decl.get_classname_from_category_decl in file "src/clang/objcCategory_decl.ml", line 23, characters 44-94
Called from ClangFrontend__CFrontend_decl.CFrontend_decl_funct.translate_one_declaration in file "src/clang/cFrontend_decl.ml", line 383, characters 12-133
Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
Called from Base__List0.iter in file "src/list0.ml" (inlined), line 25, characters 16-35
Called from ClangFrontend__CFrontend.compute_icfg in file "src/clang/cFrontend.ml", line 27, characters 6-130
Called from ClangFrontend__Capture.run_clang_frontend in file "src/clang/Capture.ml", line 94, characters 25-73

[31762][ extern err] Error: the following clang command did not run successfully:
[31762][ extern err]     /usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/bin/clang-11
[31762][ extern err]     @/Users/yocivic/code/Temp/CodeLib/infer/tmp/clang_command_.tmp.beb1bc.txt
[31762][ extern err]   ++Contents of '/Users/yocivic/code/Temp/CodeLib/infer/tmp/clang_command_.tmp.beb1bc.txt':
[31762][ extern err]     "-cc1" "-load"
[31762][ extern err]     "/usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../../facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib"
[31762][ extern err]     "-plugin" "BiniouASTExporter" "-plugin-arg-BiniouASTExporter" "-"
[31762][ extern err]     "-plugin-arg-BiniouASTExporter" "PREPEND_CURRENT_DIR=1"
[31762][ extern err]     "-plugin-arg-BiniouASTExporter" "MAX_STRING_SIZE=65535" "-cc1" "-triple"
[31762][ extern err]     "thumbv7-apple-ios10.0.0" "-Wundef-prefix=TARGET_OS_"
[31762][ extern err]     "-Werror=undef-prefix" "-fsyntax-only" "-disable-free"
[31762][ extern err]     "-disable-llvm-verifier" "-discard-value-names" "-main-file-name"
[31762][ extern err]     "UPCameraFullLiveViewModel.m" "-mrelocation-model" "pic" "-pic-level" "2"
[31762][ extern err]     "-mframe-pointer=all" "-fno-rounding-math" "-faligned-alloc-unavailable"
[31762][ extern err]     "-target-sdk-version=15.0"
[31762][ extern err]     "-fcompatibility-qualified-id-block-type-checking" "-target-cpu"
[31762][ extern err]     "generic" "-target-feature" "+soft-float-abi" "-target-abi" "apcs-gnu"
[31762][ extern err]     "-mfloat-abi" "soft" "-fallow-half-arguments-and-returns"
[31762][ extern err]     "-debug-info-kind=standalone" "-dwarf-version=4" "-debugger-tuning=lldb"
[31762][ extern err]     "-target-linker-version" "650.9" "-resource-dir"
[31762][ extern err]     "/usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/lib/clang/11.1.0"
[31762][ extern err]     "-dependency-file"

And I facing a other issue. My private pod contains a class called UPCameraFullLiveViewModel.Between 3.0.1 and 3.0.2 this class has some change, but function A and function B not changed. When I used 3.0.1 the infer not found any null safe issues in this class, the log like above Part I logs. When I used 3.0.2 the infer found some null safe issues in function A and functionB, the log like above Part II logs. That's too odd.

PS:I tried this xcodebuild -workspace "CodeLib.xcworkspace" -scheme "CodeLib" -sdk iphoneos COMPILER_INDEX_STORE_ENABLE=NO OTHER_CFLAGS="-DNS_FORMAT_ARGUMENT(A)= -D_Nullable_result=_Nullable" clean build | tee xcodebuild.log | xcpretty -r json-compilation-database -o compile_commands.json too. And got same results.

1，infer version：V1.1.0 2，macOS Catalina 10.15.3 3，command ： infer --keep-going -- xcodebuild -workspace /Users/Desktop/MyProject.xcworkspace -scheme MyProject. -configuration Debug -arch x86_64 ONLY_ACTIVE=NO VALID_ARCHS=x86_64 -UseModernBuildSystem=1 4，It cost one hour to execute Infer commoan a week ago, but now it costs 3 hours without much codes changed in my project.How to reduce the Infer time for my Project? Thank you.

I want to use Quandary-only to analyze the iOS project, but I don't know how to use the command line to retrieve the entire project. Meanwhile, I want to monitor the flow of a method's parameters. How should I do it

The command line option --incremental-analysis (and --continue-analysis as well) results in no files being analyzed. It seems that there isn't any article about the use of the arguments, and the help message is not quite intuitive. Also, the "incremental" analysis of Infer often refer to -r mode, which is s bit incremental but deletes all specs ahead of analysis.

What is the correct way to use those two arguments for real incremental analysis that only analyzes changed procedures and those that depend on them (NOT those they depend on)? Thanks~

• [x] The version of infer from infer --version: v1.1.0-4c6dc7053 (needed to add some traces so having to build from the source).
• [x] Your operating system and version: Ubuntu 20.04.4 LTS (GNU/Linux 5.4.0-110-generic x86_64).
• [x] Which command you ran:

make clean
inferc run --meowcat-only -- make
touch b.c # or edit some procedure for real, irrelevant but still tested
infer run --incremental-analysis -r --meowcat-only  --changed-files-index b.txt -- make

• [x] The full output in a paste:

$ make clean
rm -f a.o b.o c.o meow

$ inferc run --meowcat-only -- make
Capturing in make/cc mode...
cc a.c -o a.o -c
cc b.c -o b.o -c
cc c.c -o c.o -c
cc a.o b.o c.o -o meow
Done.
Found 3 source files to analyze in /root/tinfer/_make/infer-out
3/3 100% 6.098ms

$ touch b.c # or edit some procedure for real, irrelevant but still tested

$ infer run --incremental-analysis -r --meowcat-only  --changed-files-index b.txt -- make
Incremental analysis: invalidating procedures that have been changed
Incremental analysis: 4 nodes in reverse analysis call graph, 2 of which were invalidated
Capturing in make/cc mode...
Done.
Nothing to compile. Try running `make clean` first.
There was nothing to analyze.

• [x] If possible, a minimal example to reproduce your problem: As shown in the mysteries --meowcat-only, we've added a dummy checker meowcat to print and record traces. Moving them to any existing checkers and change the argument to --xxx-only yield the same result. Actually, no checkers have been run at this point. No else changes were made to the source code.

Here is our test project: a.c

#include <stdio.h>
#include "a.h"
#include "b.h"

int main() {
	printf("%d\n", funcB(0));
	return 0;
}

b.c

#include "b.h"
#include "c.h"

int funcB(int a) {
	return funcC(a + 2) + funcC(a + 1);
}//

c.c

#include "c.h"

int funcC(int a) {
	return a + 1;
}

a.h

int main();

b.h

int funcB(int);

c.h

int funcC(int);

Makefile

PROG=meow

build: $(PROG)
	@echo "Done."

$(PROG): a.o b.o c.o
	$(CC) a.o b.o c.o -o $(PROG)

a.o: a.c a.h b.h c.h
	$(CC) a.c -o a.o -c

b.o: b.c b.h c.h
	$(CC) b.c -o b.o -c

c.o: c.c c.h
	$(CC) c.c -o c.o -c

clean:
	rm -f a.o b.o c.o $(PROG)

Besides the mentioned commands, many other sequences of commands with different arguments _e.g. with or without -r) were also tested automatically. The behavior --continue-analysis is slightly different, so we could focus on --incremental-analysis for now.

I want to run Infer on numpy library to detect its weaknesses. When I run the following command:

infer run -- gcc -c /numpy/numpy/numpy/core/src/multiarrayabstractdtypes.c

It throws the following error:

Capturing in make/cc mode... abstractdtypes.c:5:10: fatal error: 'Python.h' file not found #include <Python.h> ^~~~~~~~~~ 1 error generated. Error: the following clang command did not run successfully: /opt/infer-linux64-v1.0.0/lib/infer/facebook-clang-plugins/clang/install/bin/clang-9 @/media/nimashiri/DATA/vsprojects/ICSE23/ml_repos_cloned/numpy/numpy/numpy/core/src/multiarray/infer-out/tmp/clang_command_.tmp.a9d22f.txt ++Contents of '/media/nimashiri/DATA/vsprojects/ICSE23/ml_repos_cloned/numpy/numpy/numpy/core/src/multiarray/infer-out/tmp/clang_command_.tmp.a9d22f.txt': "-cc1" "-load"...

How can I run infer against individual source files in project having special compilers, e.g. numpy or tensorflow. These compilers do not use make or cmake explicitly.

Thanks.