面向亿行 C／C++ 代码的静态分析系统设计及实践-肖枭面向亿行C/C++代码的 静态分析系统设计及实践 肖枭 自我介绍 2016年香港科技大学取得博士学位 过去10年一直以极高的热情从事静态 分析技术的学术用研究 合作创办源伞科技，致力于推动静态 分析技术在企业中的应用 目录 代码质量管理是个大问题 静态分析+代码评审的实践 学习和强调，红线和惩罚，100%的测试 覆盖率，和事后复盘并不够 有经验的程序员也会犯错 对代码提要求很难监督落实 能处理指针 使用有深度的代码分析器 做到快速和准确 用尽量少机器完成一天几千次分析 每次分析10分钟要能结束 控制误报并建立反馈和改进机制 挑战：超大规模代码仓库 项目平均40分钟单机编译时间 项目平均编译代码量超百万行 编译的价值 C/C++代码逻辑受编 译参数深度控制 源代码索引和统计 提升开源静态分析工 具分析质量 提高分析质量 测试项目 glog （谷歌的日志项目）0 码力 | 39 页 | 6.88 MB | 1 年前3- 《深入浅出MFC》2/e大刀阔斧地披露出最重要的筋络，我相信这正是所有学习MFC 的人所需要的一种表明方 式。对我而言，以往遗留的许多疑惑，在此都一一得到了解答。最重要的是，您曾经说过， 学习MFC 的过程中最重要的莫过于自我审视MFC 程序代码的能力。很高兴地，在我看完本书 之后，我确实比以前更有能力来看MFC 源代码了。总之，我为自己能够更深入了解MFC 而 要向您说声谢谢。谢谢您为我们写了深入浅出MFC 这本书。我受益匪浅。 麟角。本人在市面上找了将近四个月，才发现这样的一本，这就是由蜚声海峡两岸的著名电 脑专家侯俊杰先生所着之《深入浅出WINDOWS MFC 程序设计》（按：深入浅出MFC 简体版）。 本人在一月前购得此书，仔细研究月余，自我感觉比以前大有长进，其间由于印刷错误等原 因，发现多处错误，于是向先生去信求教，得先生热情支持和辅导。当先生得知本书（简体 本）未附光盘，且书中有多处误印，深恐贻误读者，于是将原书光盘所附之源程序和执行文 实的东西。而我所以愿意不计代价去做 些不求近利的深耕工作，除了这是身为专业作家的责任，以及个人的兴趣之外，是的，我自 己是工程师，我最清楚工程师在学习MFC 时想知道什么、在哪里触礁。 所有出自我笔下的东西，我自己受益最丰。 感谢你们。 侯俊杰台湾.新竹1997.04.15 jjhou@ccca.nctu.edu.tw FAX 886-3-5733976 7 第一版序 有一种软件名曰version0 码力 | 1009 页 | 11.08 MB | 1 年前3
C++高性能并行编程与优化 - 课件 - 15 C++ 系列课：字符与字符串类特殊的控制字符 (control character) ： • 0 表示空字符（‘ \0’ ） • 9 表示 Tab 制表符（‘ \t’ ） • 10 表示换行（‘ \n’ ） • 13 表示回车（‘ \r’ ） • 27 表示 ESC 键（‘ \x1b’ ） • 127 表示 DEL 键（‘ \x7f’ ）等 • 0~31 和 127 这些整数，就构成了 ASCII 码中控制字符的部分。 码中控制字符的部分。 关于控制字符的一个冷知识 • 在 Linux 命令行中启动 cat 。 • 试试按 Ctrl+R ， Ctrl+E ， Ctrl+C 等一系列 组合键，看到出现了什么？ • 可以看到显示的字符变成了 ^R ^E ^C 等… … • 这是 Unix 类系统显示控制字符的一种方式 。 • 众所周知，我们常用 Ctrl+C 来发送中断信号 （ SIGINT ）强制终止程序，这时常常会看到 ）强制终止程序，这时常常会看到 一个 ^C 的字样，就是这样出现的。这里我 们的 cat 程序收到 ^C 以后，就直接终止退 出了。 关于控制字符的一个冷知识 • 除此之外，因为 ^D 是“传输终止符”，还可以在控制 台输入 Ctrl+D 来关闭标准输入流，终止正在读取他 的程序。 • 小彭老师常用 Ctrl+D 来快速关闭一个 shell （和输入 exit 命令的效果一样）。 • 以及按 Ctrl+I 的效果其实和0 码力 | 162 页 | 40.20 MB | 1 年前3- C++高性能并行编程与优化 - 课件 - 02 现代 C++ 入门：RAII 内存管理// 拷贝赋值 • 追求性能时推荐用拷贝构造，因为可以避免一次无参构造，拷贝赋值是出于需要临时修改 对象的灵活性需要。 • 这个函数同样可以由 = delete 和 = default 控制是否默认生成。 • 注： return *this 是为了支持连等号 a = b = c; 编译器自动生成的函数：全家桶 • 其实，除了拷贝构造和拷贝赋值，编译器会自动生成的特殊函数还有这些： 请根据你的具体情况，决定要选用哪一种 解决方案。 移交控制权后仍希望访问到 p 指向的对象 • 解决方案 2 中，有时候我们会遇到移交控 制权后，仍希望访问到对象的需求。 • 如果还是用 p 去访问的话，因为被移动构 造函数转移了， p 已经变成空指针，从而 出错。 解决方案：提前获取原始指针 • 最简单的办法是，在移交控制权给 func 前，提前通过 p.get() 获取原始指针： int> ），则其实可以按值传递： • glm::vec3 calculateGravityAt(glm::vec3 pos); • 如果是智能指针（比如 shared_ptr ），且需要生命周期控制权，则按值传递： • void addObject(std::shared_ptr0 码力 | 96 页 | 16.28 MB | 1 年前3
- 现代C++ 教程：高速上手C++11/14/17/20decltype(auto) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.4 控制流 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 GCC/Clang 等编译器中的支持情况 • C++98 与 C99 之间的区别 11 第 2 章语言可用性的强化 第 2 章语言可用性的强化 当我们声明、定义一个变量或者常量，对代码进行流程控制、面向对象的功能、模板编程等这些都 是运行时之前，可能发生在编写代码或编译器编译代码时的行为。为此，我们通常谈及语言可用性，是 指那些发生在运行时之前的语言行为。 2.1 常量 nullptr return lookup1(); } decltype(auto) look_up_a_string_2() { return lookup2(); } 22 2.4 控制流 第 2 章语言可用性的强化 2.4 控制流 if constexpr 正如本章开头出，我们知道了 C++11 引入了 constexpr 关键字，它将表达式或函数编译为常量结 果。一个很自然的想法是，如果我们把0 码力 | 83 页 | 2.42 MB | 1 年前3
- C++高性能并行编程与优化 - 课件 - 01 学 C++ 从 CMake 学起库就是受到他启发（完全是头文件组成） 6. fmtlib/fmt - 格式化库，提供 std::format 的替代品（需要 -DFMT_HEADER_ONLY ） 7. gabime/spdlog - 能适配控制台，安卓等多后端的日志库（和 fmt 冲突！） • 只需要把他们的 include 目录或头文件下载下来，然后 include_directories(spdlog/include) 即 可。 • 为例）的源码放到你工程的根目录： • 这些库能够很好地支持作为子模块引入： 1. fmtlib/fmt - 格式化库，提供 std::format 的替代品 2. gabime/spdlog - 能适配控制台，安卓等多后端的日志库 3. ericniebler/range-v3 - C++20 ranges 库就是受到他启发 4. g-truc/glm - 模仿 GLSL 语法的数学矢量 / 矩阵库0 码力 | 32 页 | 11.40 MB | 1 年前3
- C++高性能并行编程与优化 - 课件 - 11 现代 CMake 进阶指南src 目录下 。 第 2 章：项目配置变量 CMAKE_BUILD_TYPE 构建的类型，调试模式还是发布模式 • CMAKE_BUILD_TYPE 是 CMake 中一个特殊的变量，用于控制构建类型，他的值可以 是： • Debug 调试模式，完全不优化，生成调试信息，方便调试程序 • Release 发布模式，优化程度最高，性能最佳，但是编译比 Debug 慢 • MinSizeRel YES 和 ON 等价， NO 和 OFF 等价。 https://www.cnblogs.com/Braveliu/p/15614013.html 案例：添加一个 BOOL 类型的缓存变量，用于控制要不要启用某特性 CMake 对 BOOL 类型缓存的 set 指令提供了一个简写： option option( 变量名 “描述” 变量值 ) 等价于： set( 变量名 CACHE BOOL0 码力 | 166 页 | 6.54 MB | 1 年前3
- C++高性能并行编程与优化 - 课件 - 07 深入浅出访存优化大小，这样即使索引小于 0 或大于 n 也不会越界。 ndarray ：解决访问越界问题 • 我们采用了“索性分配更大数组”的办法。 • 因此我们现在给 ndarray 的模板加了一个 额外参数，用来控制边界层的大小。 • 这里我们的图像模糊操作需要向外扩张访 问 8 个元素，因此需要把 a 的边界层大小 声明为 8 ，即 ndarray<2, float, 8> 。 ndarray ：解决起始地址对齐问题 大难点：某个改动可能对性能没有效果，甚至反而产生负面效果。然而有经验的优化人员会 知道，这不一定意味着这项改动是错的：有可能要配合多个改动一起上，才能有正面效果。 • 性能优化我们需要尝试所有的排列组合，而不能使用控制变量法，否则无法发现这种组合拳 。 用 stream 直写，进一步优化写入带宽 可以看到应用了分块 + 预取 + 直写的 x_blur ，和直写的拷贝一样快了。虽然 这里 loadu 重复0 码力 | 147 页 | 18.88 MB | 1 年前3
- Hello 算法 1.1.0 C++ 版在算法中，重复执行某个任务是很常见的，它与复杂度分析息息相关。因此，在介绍时间复杂度和空间复杂 度之前，我们先来了解如何在程序中实现重复执行任务，即两种基本的程序控制结构：迭代、递归。 2.2.1 迭代 迭代（iteration）是一种重复执行某个任务的控制结构。在迭代中，程序会在满足一定的条件下重复执行某段 代码，直到这个条件不再满足。 1. for 循环 for 循环是最常见的迭代形式之一，适合在预先知道迭代次数时使用。 思路称为“以空间换时间”；反之，则称为“以时间换空间”。 选择哪种思路取决于我们更看重哪个方面。在大多数情况下，时间比空间更宝贵，因此“以空间换时间”通 常是更常用的策略。当然，在数据量很大的情况下，控制空间复杂度也非常重要。 2.5 小结 1. 重点回顾 算法效率评估 ‧ 时间效率和空间效率是衡量算法优劣的两个主要评价指标。 ‧ 我们可以通过实际测试来评估算法效率，但难以消除测试环境的影响，且会耗费大量计算资源。 标准信息交换代码）。它使用 7 位二进制数（一个字节的低 7 位）表示一个字符，最多能够表示 128 个不同的 字符。如图 3‑6 所示，ASCII 码包括英文字母的大小写、数字 0 ~ 9、一些标点符号，以及一些控制字符（如 换行符和制表符）。 图 3‑6 ASCII 码 然而，ASCII 码仅能够表示英文。随着计算机的全球化，诞生了一种能够表示更多语言的 EASCII 字符集。它 在 ASCII 的 70 码力 | 379 页 | 18.47 MB | 1 年前3
- Hello 算法 1.0.0 C++版在算法中，重复执行某个任务是很常见的，它与复杂度分析息息相关。因此，在介绍时间复杂度和空间复杂 度之前，我们先来了解如何在程序中实现重复执行任务，即两种基本的程序控制结构：迭代、递归。 2.2.1 迭代 「迭代 iteration」是一种重复执行某个任务的控制结构。在迭代中，程序会在满足一定的条件下重复执行某 段代码，直到这个条件不再满足。 1. for 循环 for 循环是最常见的迭代形式之一，适合在预先知道迭代次数时使用。 思路称为“以空间换时间”；反之，则称为“以时间换空间”。 选择哪种思路取决于我们更看重哪个方面。在大多数情况下，时间比空间更宝贵，因此“以空间换时间”通 常是更常用的策略。当然，在数据量很大的情况下，控制空间复杂度也非常重要。 2.5 小结 1. 重点回顾 算法效率评估 ‧ 时间效率和空间效率是衡量算法优劣的两个主要评价指标。 ‧ 我们可以通过实际测试来评估算法效率，但难以消除测试环境的影响，且会耗费大量计算资源。 国标准信息交换代码）。它使用 7 位二进制数（一个字节的低 7 位）表示一个字符，最多能够表示 128 个不 同的字符。如图 3‑6 所示，ASCII 码包括英文字母的大小写、数字 0 ~ 9、一些标点符号，以及一些控制字符 （如换行符和制表符）。 图 3‑6 ASCII 码 然而，ASCII 码仅能够表示英文。随着计算机的全球化，诞生了一种能够表示更多语言的「EASCII」字符 集。它在 ASCII 的 70 码力 | 378 页 | 17.59 MB | 1 年前3
共 17 条
- 1
- 2