2天时间,聊今年最热的 Agent、上下文工程、AI 产品创新等话题。2025 年最后一场~ 了解详情
写点什么

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

  • 2019-08-03
  • 本文字数:842 字

    阅读完需:约 3 分钟

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

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


演讲简介


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

听众受益

  1. 了解静态分析工具在开发生命周期不同阶段的应用及其优缺点,以及为什么我们认为代码评审阶段是较优的选择。

  2. 了解我们有数千人开发团队的大型互联网企业大规模部署静态分析工具的经验和教训。包括系统设计如何应对每天数千次代码评审请求,分析和编译亿万行代码,并在十分钟内即给出分析结果。我们的系统设计思路可以为类似团队未来技术选型提供参考。

  3. 了解我们其它增强工程师代码评审体验的设计,比如用代码交叉索引降低代码理解的困难。


讲师介绍


肖枭


源伞科技 联合创始人兼 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


2019-08-03 08:003447

评论

发布
暂无评论
发现更多内容

知识图谱与多模态推理在测试开发中的实践价值‌

测试人

人工智能

鸿蒙NEXT开发-视频播放&绘图能力

东林知识库

区块链项目的开发框架及特点

北京木奇移动技术有限公司

区块链技术 软件外包公司 web3开发

鸿蒙NEXT开发-Tabs组件

东林知识库

智能制造:MES系统架构设计

积木链小链

数字化转型 制造业 智能制造

数据要素市场化 驱动数字金融

郑州埃文科技

数据要素

数据要素对企业营销会有什么影响?

郑州埃文科技

文档智能扫描,提升无纸化办公效率

HarmonyOS SDK

Gitea Enterprise 23.6.0 (Linux, macOS, Windows) - 本地部署的企业级 Git 服务

sysin

git

VMware Aria Operations 8.18.3 - 多云 IT 运维管理

sysin

aria

电商评论数据自动化采集的六大核心策略(附避坑手册)

代码忍者

淘宝API接口

《币圈不设防》第五期:市场热点、交易所生态与合约争议深度探讨

TechubNews

WebSocket调试神器对决:Apipost凭何碾压Apifox?

数据追梦人

Shopify电商平台API接口对接及上线

北京木奇移动技术有限公司

跨境电商 软件外包公司 shopify开发

VMware ESXi 8.0U3d macOS Unlocker & OEM BIOS Dell (戴尔) 定制版

sysin

esxi

合合信息IntFinQ知识库体验:大模型加速器2.0,助力企业走向文档智能化

Damon小智

工作流 OCR AI‘’ DeepSeek coze

2025南京软博会

AIOTE智博会

VMware Aria Automation 8.18.1 - 多云基础架构自动化平台

sysin

aria

鸿蒙NEXT开发-用户通知服务的封装和文件下载通知

东林知识库

有关IP地址运算

郑州埃文科技

IP地址

HarmonyOS:ComposeTitleBar 组件自学指南

李游Leo

鸿蒙

APP开发框架及其特点

北京木奇移动技术有限公司

APP开发 软件外包公司 APP外包公司

什么是IP地址子网划分,是如何应用的?

郑州埃文科技

IP地址

智能制造新引擎:铜丝生产行业MES系统核心功能

万界星空科技

制造业 mes 铜加工 铜拉丝生产 铜丝mes

VMware Aria Operations for Logs 8.18.3 - 集中式日志管理

sysin

aria

鸿蒙NEXT开发-用户通知服务

东林知识库

鸿蒙NEXT开发-Navigation组件导航

东林知识库

互联网的“神经中枢”域名根服务器是如何演变的?

郑州埃文科技

根服务器

高效定位 Go 应用问题:Go 可观测性功能深度解析

阿里巴巴云原生

阿里云 云原生

WebGL开发框架及其特点

北京木奇移动技术有限公司

软件外包公司 webgl开发 3D软件开发

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