Coverity：商业级静态分析

摘要

发布代码中的错误可能导致金钱、声誉的损失，甚至在关键控制器代码中出现的人员的生命损失。静态分析已被证明是一种非常有效的自动错误检测方法。Coverity®静态应用程序安全测试（SAST）可帮助您构建更安全、更高质量且符合标准的软件。Coverity的速度、准确性、易用性和可扩展性甚至可以满足最大、最复杂环境的需求。在这次演讲中，我提供了静态分析的背景，并讨论了一些架构设计，这些设计涉及到将面向学术的静态分析技术应用于商业级工具Coverity。

生物

Tushar Sharma是Synopsys Software Integrity Group的高级软件工程师，致力于Coverity静态分析产品。他在威斯康星大学麦迪逊分校获得计算机科学硕士学位（2011年）和博士学位（2017年），并于2017年搬到湾区。

谈话时间和地点

麦考瑞大厅225室，2020年3月3日下午1:30