Static Analysis Toolset with Clang

Bence Babati, Gábor Horväth, Viktor Májer, Norbert Pataki

2018 · 15 citations · 6 references

DOIFull text

Open access

Abstract

Static analysis is an emerging method to analyse programs without execute them only based on their source code. Static analysis can be used for various tasks, e.g. searching bugs. Clang is an open source compiler for C/C++/Objective-C. It is built on the top of the LLVM compiler infrastructure. It is a rapidly evolving project which is supported by Apple, Google, and Microsoft. Nowadays Clang is a popular tool to develop new static analyzers. One of the advantages of Clang is its modular architecture. One can use the parser as a library to build tools. The Static Analyzer is the part of the Clang compiler. It is utilizing the same AST that is generated by the compiler.

References

6