软件漏洞检测（Bug Finding）：使用LLVM中的Clang Static Analyzer

最新推荐文章于 2024-08-13 10:48:46 发布

白马负金羁

最新推荐文章于 2024-08-13 10:48:46 发布

阅读量1w

点赞数 9

分类专栏：系统安全与恶意学习文章标签： LLVM Clang CSA Z3 Bug Finding

本文链接：https://blog.csdn.net/baimafujinji/article/details/49642111

版权

系统安全与恶意学习专栏收录该内容

40 篇文章 1301 订阅 ¥39.90 ¥99.00

订阅专栏

超级会员免费看

本文介绍了Clang Static Analyzer（CSA），它是用于C、C++和Objective-C程序的源代码分析工具，能找出潜在的软件漏洞。CSA基于符号执行技术，通过Checkers实现一系列分析算法。文中详细展示了如何使用CSA检测数组越界、未定义值和内存泄露等错误，并讨论了跨翻译单元（Cross Translation Unit, CTU）的分析方法，包括如何利用CodeChecker进行自动化CTU分析。" 127930467,593304,RecyclerView在Android开发中的应用,"['Android开发', 'RecyclerView']

摘要由CSDN通过智能技术生成

LLVM这个名字最初的意思是底层虚拟机（Low Level Virtual Machine）的缩写，它是由UIUC开发的一个开源项目。现在LLVM的意义已经远远超越它最初的意思，所以现在LLVM就是整个项目的名称。

The LLVM Project is a collection of modular and reusable compiler and toolchain libraries / technologies.

LLVM is not a compiler! But, many compliers are built on LLVM such as Clang.

本文中的实验环境选择使用Ubuntu系统，请确保你已经正确安装了LLVM及Clang。

一、CSA（Clang Static Analyzer）简介

The Clang Static Analyzer 【1】 is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. CSA是Clang项目的一部分，而且完全开源。注意这里的静态分析，表示并不需要运行程序——CSA is built on Clang based on symbolic ex