2018 · 15 citations · 6 references
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.
6
Symbolic execution and program testing
James C. King · Communications of the ACM · 1976 · 2.9K citations · Full text
Rex Jaeschke · ACM SIGPLAN Notices · 1998 · 543 citations · Full text
High-level Programming Language, Engineering, Program Analysis +10