You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@arrow.apache.org by "Rene Sugar (JIRA)" <ji...@apache.org> on 2017/09/30 05:17:00 UTC
[jira] [Created] (ARROW-1626) Add make targets to run the
inter-procedural static analysis tool called "infer".
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)