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

[Rene Sugar (JIRA)]

Rene Sugar created ARROW-1626:
---------------------------------

             Summary: Add make targets to run the inter-procedural static 
analysis tool called "infer".
                 Key: ARROW-1626
                 URL: https://issues.apache.org/jira/browse/ARROW-1626
             Project: Apache Arrow
          Issue Type: Improvement
            Reporter: Rene Sugar
         Attachments: report.txt

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.

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




--
This message was sent by Atlassian JIRA
(v6.4.14#64029)