Uploaded image for project: 'Apache Arrow'
  1. Apache Arrow
  2. ARROW-1626

Add make targets to run the inter-procedural static analysis tool called "infer".

    Details

    • Type: Improvement
    • Status: Resolved
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 0.8.0
    • Component/s: None

      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

        Attachments

        1. report.txt
          6 kB
          Rene Sugar

          Issue Links

            Activity

              People

              • Assignee:
                renesugar Rene Sugar
                Reporter:
                renesugar Rene Sugar
              • Votes:
                0 Vote for this issue
                Watchers:
                3 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: