You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@arrow.apache.org by "Antoine Pitrou (JIRA)" <ji...@apache.org> on 2019/06/03 12:48:01 UTC
[jira] [Updated] (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 ]
Antoine Pitrou updated ARROW-1626:
----------------------------------
Component/s: Developer Tools
> 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
> Components: Developer Tools
> Reporter: Rene Sugar
> Assignee: Rene Sugar
> Priority: Major
> 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
(v7.6.3#76005)