深入研究Clang(十) Clang Static Analyzer简介

简介: Clang Static Analyzer 官网地址:http://clang-analyzer.llvm.org/Clang Static Analyer是一个源码分析工具,它可以发现C、C++和Objective-C程序中的bug。

Clang Static Analyzer 官网地址:http://clang-analyzer.llvm.org/

Clang Static Analyer是一个源码分析工具,它可以发现C、C++和Objective-C程序中的bug。现在Clang Static Analyer既可以作为一个单独的工具使用,也可以集成在Xcode中使用。作为单独的工具使用的时候,可以通过命令行调用,作为一个代码库编译的时候的一个串行的动作运行。Clang Static Aanlyer是百分百开源的项目,是Clang项目的一部分。像Clang项目剩下的部分一样,它是被实现成了一个C++的库的形式,这样的话它可以被其他的工具和应用调用。(注:该段文字基本上是对官网的一个介绍的翻译,并无太多个人 的理解,因为这块官网已经介绍的比较简明了。)


Clang Static Analyer作为单独工具被调用的时候,就涉及到了scan-build。

scan-build的官网地址:http://clang-analyzer.llvm.org/scan-build.html

官网对scan-build的解释就是一个确保用户可以在他们的代码库上运行static analyzer的命令行实体。scan-build在正常编译clang之后就会生成,是和clang同目录的一个可执行文件,如果已经make install的话,那么在系统里可以随意直接调用scan-build。我在虚拟机上针对我的一个小程序,简单调用了一下scan-build,在我自己的待分析的项目目录下 输入命令行:

scan-build make 

得到了一个结果如下:

scan-build: Using '/usr/local/bin/clang-3.9' for static analysis
scan-build: Removing directory '/tmp/scan-build-2017-03-29-152946-3220-1' because it contains no reports.
从结果也可以看出,并没有发现什么错误,并且声称了一个未包含错误报告的目录。

目录
相关文章
|
编译器 API 数据安全/隐私保护
深入对比:Qt 的 QFile/QFileInfo 和与 C++17 Filesystem 和标准文件流 的细节剖析
深入对比:Qt 的 QFile/QFileInfo 和与 C++17 Filesystem 和标准文件流 的细节剖析
1020 3
|
存储 编译器 测试技术
CppCheck的使用
CppCheck的使用
935 0
|
11月前
|
测试技术 开发者 Python
使用Python解析和分析源代码
本文介绍了如何使用Python的`ast`模块解析和分析Python源代码,包括安装准备、解析源代码、分析抽象语法树(AST)等步骤,展示了通过自定义`NodeVisitor`类遍历AST并提取信息的方法,为代码质量提升和自动化工具开发提供基础。
749 9
|
9月前
|
人工智能 安全 Java
AI 应用工程化专场
本次分享的主题是AI 应用工程化专场,由Spring AI Alibaba 开源项目负责人刘军分享。 1. 初识 Spring AI Alibaba开源项目 2. Spring AI Alibaba 深入讲解 3. Spring AI Alibaba RAG 开发实践 4. Spring AI Allbaba 未来规划 5. 数据 6. 问答
355 1
|
存储 测试技术 Linux
深入了解KUnit:Linux内核新一代单元测试工具(上)
深入了解KUnit:Linux内核新一代单元测试工具
|
安全 网络协议 网络安全
应用层常见的协议有哪些?
应用层常见的协议有哪些?
2055 1
|
人工智能 自然语言处理 安全
无影上新,AI助手晓颖来了!
无影上新,AI助手晓颖来了!
618 2
|
编译器 C++
VS Code设置C++编译器路径
VS Code设置C++编译器路径
443 0
|
安全 Ubuntu 测试技术
l4re Getting started
l4re Getting started
617 0
|
Web App开发 开发工具 图形学