Skip to content

Infer analyzer won't work as intended #4552

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
lgacnik opened this issue May 6, 2025 · 0 comments
Open

Infer analyzer won't work as intended #4552

lgacnik opened this issue May 6, 2025 · 0 comments

Comments

@lgacnik
Copy link

lgacnik commented May 6, 2025

Describe the bug
If CodeChecker CLI is run with Infer analyzer it won't work. Per my understanding infer required compilation database; that is compile_commands.json generated by CMake rather than compiler command passed down from CodeChecker. The latter is the case because when infer is selected for analyzer, it complains the chosen toolchain (rather than compilation database) is not recognized.

Furthermore, one cannot pass --force-integration=cc command, understood by infer, through CodeChecker.

CodeChecker version

[INFO 2025-05-06 21:57] - CodeChecker analyzer version:
---------------------------------------------------------------
Kind                 | Version
---------------------------------------------------------------
Base package version | 6.25.1
Package build date   | 2025-04-28T22:54
Git commit ID (hash) | c63dcdd8aa8dbd47360a0a02234c94e45107fb76
Git tag information  | 6.25.1
---------------------------------------------------------------

To Reproduce
CodeChecker analyze ./compile_commands.json --analyzers infer --enable-all where cross-compilation toolchain arm-none-eabi-g++ is used rather than mainstream GCC.

Expected behaviour
What you expected to happen.

Desktop (please complete the following information)

  • OS: Ubuntu 24.04 LTS

Additional context
This is the actual log after executing the aforementioned command line:

[INFO 2025-05-06 21:47] - '--enable-all' was supplied for this analysis.
[INFO 2025-05-06 21:47] - Enabled checker list can be found in metadata.json
[INFO 2025-05-06 21:47] - Starting static analysis ...
[ERROR 2025-05-06 21:47] - Usage Error: Unsupported build command 'arm-none-eabi-g++'.
If this is an alias for another build system that infer supports, you can use `--force-integration <command>` where <command> is one of the following supported build systems:
ant buck1 buck2 cc erlc gradle hackc java javac kotlinc make mvn ndk-build python3 rebar3 xcodebuild
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant