Facebook Infer analyzer support

dkrupp commented 3 months ago

Add support for facebook infer analyzer execution support for C/C++. https://github.com/facebook/infer

CodeChecker should be able to

List checkers: CodeChecker checkers
Checkers should have "infer" prefix: infer.biabduction_memory_leak
Execute analysis: CodeChecker analyze --anlayzers infer ./compile_commands.json
Enable/disble checkers for the analysis:CodeChecker analyze --analyzers infer -e infer.biabduction_memory_leak
Enable storing analysis results CodeChecker store ./report-dir --url https://...
Document how the analyzer is supported in https://github.com/Ericsson/codechecker/blob/master/docs/analyzer/checker_and_analyzer_configuration.md https://github.com/Ericsson/codechecker/blob/fa1d14f624414056b6ad2d04454b88060d18c2f4/docs/analyzer/user_guide.md ** https://github.com/Ericsson/codechecker/tree/fa1d14f624414056b6ad2d04454b88060d18c2f4/docs#readme

dkrupp commented 3 months ago

You can check how gcc static analyzer was integrated in this PR: https://github.com/Ericsson/codechecker/pull/4030/files

vodorok commented 3 months ago

I would consider adding support to the latest release as well as the tip of the master. The latest release of Infer is almost 3 years old, but the tool is in active development.
The file output of infer should be processed, instead of the stdout.
Consider supporting analyzer options if there are any.

jay24rajput commented 3 months ago

Can I try to work on this issue?

Ericsson / codechecker