You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@arrow.apache.org by "Wes McKinney (JIRA)" <ji...@apache.org> on 2017/09/30 18:29:00 UTC
[jira] [Reopened] (ARROW-1626) Add make targets to run the
inter-procedural static analysis tool called "infer".
[ https://issues.apache.org/jira/browse/ARROW-1626?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Wes McKinney reopened ARROW-1626:
---------------------------------
> 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
> Assignee: Rene Sugar
> Labels: pull-request-available
> Fix For: 0.8.0
>
> 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 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
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)