[ARROW-1626] Add make targets to run the inter-procedural static analysis tool called "infer".

• Type: Improvement
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 0.8.0
• Component/s: Developer Tools
• Labels: pull-request-available
• External issue URL: https://github.com/apache/arrow/issues/17637
• Assignee: Rene Sugar
• Reporter: Rene Sugar
• Created: 30/Sep/17 05:16
• Updated: 11/Jan/23 07:15
• Resolved: 30/Sep/17 18:28

Description

Add make targets to run the inter-procedural static analysis tool called "infer".

I have attached the output of running infer.

https://github.com/facebook/infer

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

http://fbinfer.com/docs/steps-for-ci.html

http://fbinfer.com/docs/advanced-features.html

http://fbinfer.com/docs/infer-bug-types.html

1) Build the project with Clang to create a compilation database and any generated source files.

2) Run infer's capture step

make infer
Scanning dependencies of target infer
Capturing using compilation database...
Starting translating 66 files

3) Run infer's analyze step. This can take a long time.

make infer-analyze
Scanning dependencies of target infer-analyze
Found 66 source files to analyze in /Users/rene/projects/arrow/cpp/debug/infer-out
Starting analysis...

legend:
"F" analyzing a file
"." analyzing a procedure

4) Run infer's report step.

make infer-report
Scanning dependencies of target infer-report

Issue Links

• links to: GitHub Pull Request #1149