写点什么

面向亿行 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:003353

评论

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

FFA 2022 收官总结|活动报告出炉,实时即未来!

Apache Flink

大数据 flink 实时计算

龙磐投资,中国领先生物医药风险投资机构,规模超百亿

联营汇聚

Smart Finance将AIGC引入GameFi,P2E进入人工智能时代

股市老人

Smart Finance将AIGC引入GameFi,P2E进入人工智能时代

鳄鱼视界

艾瑞《政企数智办公平台行业研究报告》,政企数智办公「百宝书」

融云 RongCloud

办公 数智化

go实现类似spring BeanUtil工具

Z.K

30个编程小技巧,提高代码性能

千锋IT教育

小游戏的前世今生

FinFish

微信小程序 休闲游戏 小游戏 H5小游戏

学习java参加培训哪个比较好呢?

小谷哥

制定数据战略的三大要素和五个步骤!

用友BIP

从SPL看开放计算能力的意义

石臻臻的杂货铺

SPL

直播预告丨泛CG元宇宙分会场云桌π—从NVIDIA XR到云渲染,如何构建元宇宙虚拟场景生态闭环

3DCAT实时渲染

CG 渲染 虚拟现实 元宇宙 元宇宙开发

海鑫科金:通过 YMatrix 实现离线在线平台统一,满足公安数据场景的管理分析需求

YMatrix 超融合数据库

超融合数据库 YMatrix 公安数据场景 海鑫科金

初步了解Istio

穿过生命散发芬芳

istio 12月月更

架构实战营第十期模块一作业

Geek_4db2d5

微服务中的鉴权该怎么做?

江南一点雨

SpringCloud Gateway openfei

Gin路由添加流程

Z.K

go基于泛型的FUNCTIONAL OPTIONS

Z.K

大数据培训学习方法有哪些

小谷哥

埃文科技完成数千万A轮融资

郑州埃文科技

网络安全 企业融资 数据服务

福利Day | KaiwuDB 邀你相约 DTCC 2022,文末免费抢价值3200元大会门票!

KaiwuDB

数据库

找运营商电商化运营突破口的九个策谋

鲸品堂

12 月 PK 榜

王者荣耀商城异地多活架构设计

Jack

架构实战训练营9期

笔记2022-12-06

mklop

学习笔记 构架

web前端培训应该怎么做

小谷哥

学习web前端培训怎么样呢

小谷哥

微服务开发平台 Spring Cloud Blade 部署实践

北京好雨科技有限公司

Kubernetes 微服务 云原生 Spring Cloud

智慧交通的待解谜题,中科视语在首届昇腾AI创新大赛交出金奖答案

脑极体

Getaverse月报 - 11月

Geek_Web3

区块链 Web3 Daily #区块链# did web3

前端培训学习需要什么条件?

小谷哥

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