面向亿行 C/C++ 代码的静态分析系统设计及实践_编程语言_肖枭_InfoQ精选文章

面向亿行 C/C++ 代码的静态分析系统设计及实践

在 QCon 北京 2019 大会上，肖枭讲师做了《面向亿行 C/C++ 代码的静态分析系统设计及实践》主题演讲，主要内容如下。

演讲简介：

随着软件研发规模的急速增长，软件质量的提升已不能再全面依靠测试和运维人员填坑的方式解决。DevOps 运动的开展提出了质量左移的口号，即尽可能让程序员在开发阶段修复更多的 Bug。但让各大企业头疼的是，让程序员花更多的时间提升代码质量又会造成软件交付的压力。为解决该矛盾，我们打造了一套在代码评审（Code Review）阶段进行静态代码扫描的系统。该系统具有反馈及时，工程师上下文切换少，对现有工作流程（Work-Flow）侵入小，以及无需占用工程师额外时间的优点。上线运行一年，该系统起到了开发阶段代码质量提升，逐步减少或者消除在测试和运维方面的投入，实现 DevOps 的全流程自动化高质量交付。

听众受益

了解静态分析工具在开发生命周期不同阶段的应用及其优缺点，以及为什么我们认为代码评审阶段是较优的选择。
了解我们有数千人开发团队的大型互联网企业大规模部署静态分析工具的经验和教训。包括系统设计如何应对每天数千次代码评审请求，分析和编译亿万行代码，并在十分钟内即给出分析结果。我们的系统设计思路可以为类似团队未来技术选型提供参考。
了解我们其它增强工程师代码评审体验的设计，比如用代码交叉索引降低代码理解的困难。

讲师介绍：

肖枭

源伞科技联合创始人兼 CEO

肖枭，源伞科技联合创始人兼 CEO，2016 年获得香港科技大学博士学位。在程序语言和软件工程（PL/SE）领域的国际顶级会议（POPL, PLDI, OOPSLA, ICSE）上发表多篇文章，主要研究方向为静态代码分析技术和应用。2014 年起率队研发下一代基于定理证明技术的静态分析工具 Pinpoint。并从 2016 年起，致力于推动 Pinpoint 在企业的实践，尤其是与 DevOps 相结合的应用落地。2017 年 9 月开始源伞科技跟百度 EE 部门共建自动化评审系统，2018 年 6 月正式上线对百度内部大规模服务，目前已将百度 80% 的 C/C++ 代码库接入系统。

完整演讲 PPT 下载链接：

https://qcon.infoq.cn/2019/beijing/schedule

评论

发布

暂无评论

ELK + Filebeat + Kafka 分布式日志管理平台搭建，最新java面试题及答案

Java 程序员后端

ELK太重？试试KFC日志采集，2021大厂Java面试经验

Java 程序员后端

Redis Pipeline

讲分布式唯一id，这篇文章很实在

秦怀杂货店

Java 分布式分布式ID

外包学生管理系统详细架构设计

架构实战营

GitHub标星17万：打破程序员“中年危机，单点登录（Single-Sign-On）解决方案

Java 程序员后端

Elasticsearch中URI Search和RequestBody Search分析(1)

Java 程序员后端

GitHub上标星75k+的《Java面试突击版，京东java面试题答案

Java 程序员后端

Windows11 搭建openvino_tensorflow环境

IT蜗壳 OpenVINO 11月日更 openvino_tensorflow

所谓的新型“数字人民币”诈骗，这里有几个疑点

进击的Java（一）

ElasticSearch集群的概念及搭建过程，Java程序员晋升路线

Java 程序员后端

【Promise 源码学习】第二篇 - Promise 功能介绍与特性分析

源码 Promise 11月日更

git(3)Git 分支，mysql语句优化面试题

Java 程序员后端

Redis 实现附近的人，全靠 GEO 数据结构让我邂逅女神

redis BitMap geohash NoSQL 数据库 11月日更

各地力推“链长制”，区块链让产业链更加安全可靠

Git 常用命令，使用Docker部署Spring-Boot项目

Java 程序员后端

数据分析入门

Github上都在疯找的阿里内部“全栈技能修炼”终于来了，kafka基础概念

Java 程序员后端

Elasticsearch 如何做到快速检索 - 倒排索引的秘密，springboot项目实战

Java 程序员后端

Elasticsearch中的Term查询和全文查询，重磅

Java 程序员后端

Elasticsearch聚合的嵌套桶如何排序(1)，java大学基础教程

Java 程序员后端

Flink处理函数实战之一：深入了解ProcessFunction的状态(Flink-1

Java 程序员后端

flume基本概念与操作实例（常用source），kalilinux视频教程

Java 程序员后端

Geospatial-地理空间，java面试基本知识

Java 程序员后端

Dubbo服务消费者调用过程，35岁老年程序员的绝地翻身之路

Java 程序员后端

Elasticsearch聚合的嵌套桶如何排序，java架构和框架

Java 程序员后端

Flink SQL Client综合实战，深入理解java虚拟机百度云

Java 程序员后端

Flink的sink实战之四：自定义，Java开发笔试题目

Java 程序员后端

WEB本地存储：localStorage、Web SQL Database、IndexedDB

Cookie indexedDB LocalStorage sessionStorage 11月日更

Github上堪称最全的面试题库（Java岗）到底有多香，java基础进阶视频

Java 程序员后端