自定义博客皮肤VIP专享

*博客头图：

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

Canliture

hello, 程序分析! 微信交流：trustxyz

SVF:C/C++静态分析工具StaticValueFlow

文章平均质量分 78
(学习笔记) 架构在LLVM编译器设施之上的静态分析工具： 1. Whole Program Pointer Analysis 2. On-Demand Pointer Analysis 2. Source Sink Problem Solver
关注数：4 文章数：3 文章阅读量：2955 文章收藏量：10

作者: Canliture

hello, 程序分析!
展开