skip to main content
research-article

A: the Compiler

Published:17 April 2020Publication History
Skip Abstract Section

Abstract

While in the past in the C/C++ world compilers and static analyzers took two separate paths and were two separate lines of tools, nowadays they are coming back together, especially the Clang compiler and its Clang/LLVM based static analyzers. The paper will show why and how this "reunion" is beneficial, especially when analyzing large codebases. In particular the paper first will present these relatively new analyzers, then it will show how these tools are currently integrated in code quality platforms - e.g. SonarQube; finally, the paper will describe the author's recent results in terms of improving the analyzers - code quality platforms integration and facilitating the adoption and execution of static analysis in software projects.

References

  1. http://clang.llvm.org/Google ScholarGoogle Scholar
  2. https://clang.llvm.org/docs/ JSONCompilationDatabase.htmlGoogle ScholarGoogle Scholar
  3. https://www.sonarqube.org/Google ScholarGoogle Scholar
  4. https://www.gimpel.com/Google ScholarGoogle Scholar
  5. http://cppcheck.net/Google ScholarGoogle Scholar
  6. https://www.mathworks.com/products/ polyspace.htmlGoogle ScholarGoogle Scholar
  7. https://frama-c.com/value.htmlGoogle ScholarGoogle Scholar
  8. https://clang-analyzer.llvm.org/Google ScholarGoogle Scholar
  9. http://frama-c.com/wp.htmlGoogle ScholarGoogle Scholar
  10. http://www.cprover.org/cbmc/Google ScholarGoogle Scholar
  11. https://clang-analyzer.llvm.org/available_checks.htmlGoogle ScholarGoogle Scholar
  12. https://clang.llvm.org/extra/clang-tidy/ checks/list.htmlGoogle ScholarGoogle Scholar
  13. http://gnat-asis.sourceforge.net/Google ScholarGoogle Scholar
  14. https://github.com/AdaCore/libadalangGoogle ScholarGoogle Scholar
  15. https://cmake.org/Google ScholarGoogle Scholar
  16. https://github.com/nickdiego/compiledbGoogle ScholarGoogle Scholar
  17. https://github.com/rizsotto/BearGoogle ScholarGoogle Scholar
  18. https://ninja-build.org/Google ScholarGoogle Scholar
  19. https://github.com/SonarOpenCommunity/sonar-cxxGoogle ScholarGoogle Scholar
  20. https://www.sonarsource.com/Google ScholarGoogle Scholar
  21. https://www.spazioit.com/pages_en/sol_inf_en/ code_quality_en/safe-toolset-en/Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Article Metrics

    • Downloads (Last 12 months)9
    • Downloads (Last 6 weeks)3

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!