Clang Static Analyzer-使用手册-编写Checker

Checker是这个工具的灵魂

有了checker才可以检查你的代码

相当于就是CSA通过checker定义的检查方法去检查代码

添加Checker的办法

这里针对3.7.1的老版本，比较新的如llvm10以上的版本没法使用

1 在checkers清单里面添加checker

首先在/clang/lib/StaticAnalyzer/Checkers下的Checkers.td中添加一个申明

这里的let ParentPackage = xxx in{}

意思就是你想把这个checker放到什么checker类里面，这里根据自己的选择，随意选择位置添加，然后再通过一下格式添加

def xxxChecker : Checker<"xxx">,
  HelpText<"yyyyyy">,
  DescFile<"xxxxChecker.cpp">;

解释一下这里的HelpText是当你用到这个checker时的一个帮助提示，DescFile是实现cpp文件

2 添加checker代码到CMakeList里面

把checker的实现代码文件添加到CMakeList.txt里面为了下一次编译生成的时候重建到clang里面

在这个全是cpp这里，直接添加对应的文件就好了

3 编写实现代码.cpp

编写 lib/StaticAnalyzer/Checkers/xxxxx.cpp

在这个里面实现具体的代码逻辑

然后重新编译就好了，就可以使用对应的checker了

Clang Static Analyzer-使用手册-编写Checker框架的更多相关文章

深入研究Clang(十） Clang Static Analyzer简介
Clang Static Analyzer 官网地址:http://clang-analyzer.llvm.org/ Clang Static Analyer是一个源码分析工具,它可以发现C.C++和 ...
Ubuntu-搭建Clang Static Analyzer环境
其实也就是一个开源的漏洞扫描器专门扫描C/C++ 0BJECT-C++这种,实不相瞒我搭建了5天这个环境,最后我发现了一种超级方便的办法前面怎么走的坑还是不分享了吧,由于没有看到前面很多人的办法或 ...
求好用的在线手册编写工具，能编写像bootstrap在线Doc那种的，想为OpenCenter写个在线手册
原文地址:http://www.oschina.net/question/1014458_225711 各位OSCer的开源项目的在线说明文档都是用什么写的呢? 类似 http://v3.bootcs ...
（转）在编写Spring框架的配置文件时，标签无提示符的解决办法
http://blog.csdn.net/yerenyuan_pku/article/details/52831618 问题描述初学者在学习Spring框架的过程中,大概会碰到这样一个问题:在编写S ...
python web开发编写web框架
参考链接:https://www.liaoxuefeng.com/wiki/0014316089557264a6b348958f449949df42a6d3a2e542c000/00143233900 ...
Magicodes.IE编写多框架版本支持和执行单元测试
背景很多情况下,我们编写了一些工具库之后,往往在某些框架版本中会出现一些问题,比如本人最近写的一个导入导出的工具库Magicodes.IE(GitHub:https://github.com/xin ...
一个C#开发编写Java框架的心路历程
前言这一篇絮絮叨叨,逻辑不太清晰的编写Java框架的的一个过程,主要描述我作为一个java初学者,在编写Java框架时的一些心得感悟. 因为我是C#的开发者,所以,在编写Java框架时,或多或少会带 ...
自己动手编写IOC框架（一）
博客创建了2年多了,一直没敢写点东西,怕技术不够误导了别人.2年多后的今天我已经很有信心能够为需要帮助的人做点微薄的贡献了.这是我第一次写博客,先自我介绍一下.本人网名泪滴,一个非常伤心的名字,生活中 ...
ALSA声卡08_从零编写之框架_学习笔记
1.整体框架 (1)图示((DAI(全称Digital Audio Interface)接口)) 在嵌入式系统里面,声卡驱动是ASOC,是在ALSA驱动上封装的一层,包括以下三大块 (2)程序框架 m ...

随机推荐

js IdleDetector 检测用户是否处于活动状态API
btn.addEventListener("click", async () => { try { const state = await Notification.requ ...
js bese64转化为blob使用FormData上传
原文工作示例 <!DOCTYPE html> <html lang="en"> <head> <meta charset="U ...
k8s部署mysql数据持久化
在这里我部署mysql的目的是为了后面将上一篇博客docker打包的el-admin镜像部署到k8s上,所以本文主要是部署mysql并实现持久化. 1.将我们的应用都部署到 el-admin 这个命名 ...
Codeforces 1485F Copy or Prefix Sum
题目链接点我跳转题目大意给定一个长度为 $N$ 的序列 $bi$ 问有多少个长度为 $N$ 的序列 $a$ 使得 $b[i] = a[i]$ 或 \(b[i] = ∑a[j] ...
在多线程编程中不要使用sleep()、usleep()函数
这两个函数是非线程安全的,可能会造成程序卡死. 对于c++程序,建议使用std::this_thread::sleep_for()和std::this_thread::yield()代替. 纯c程序可 ...
手把手教你Spring Boot整合Mybatis Plus和Swagger2
前言:如果你是初学者,请完全按照我的教程以及代码来搭建(文末会附上完整的项目代码包,你可以直接下载我提供的完整项目代码包然后自行体验!),为了照顾初学者所以贴图比较多,请耐心跟着教程来,希望这个项目D ...
Oracle VM VirtualBox安装CentOS7
安装VirtualBox6.0 下载地址:https://www.virtualbox.org/ 新建虚拟机类型:Linux 版本:Other Linux(64-bit)----如果没有出现64-b ...
正则表达式匹配${key}并在Java中使用
1.正则表达式匹配${key} \$\{([a-z]+)\} 能够匹配字符串中以${key}形式的文本(其中key为小写应为字母) .*\$\{([a-z]+)\}.* 可以用来检测文本中是否有${k ...
为WebView 同步cookie
import android.os.Build;import android.text.TextUtils;import android.webkit.CookieManager;import and ...
this指针、引用、顶层和底层const关系
1.首先顶层const和底层const是围绕指针*p的说法.底层:const int *p,const不是修饰指针p,指针所指的值不能改变:顶层:int *const p,const修饰指针p,指针本 ...

Clang Static Analyzer-使用手册-编写Checker框架