[
https://issues.apache.org/jira/browse/ARROW-1626?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Rene Sugar updated ARROW-1626:
------------------------------
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
was:
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
> 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
> Labels: pull-request-available
> 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)
