Coverity:商业级静态分析

Abstract

发布的代码中的错误可能会导致金钱、声誉甚至人命的损失 出现在关键控制器代码中. 静态分析已被证明是一种非常有效的方法 自动错误检测的方法. Coverity®静态应用程序安全测试 (SAST)帮助人们构建更安全、更高质量和兼容的软件 with standards. Coverity的速度、准确性、易用性和可扩展性满足了 即使是最大、最复杂的环境的需求. 在这次演讲中，我提供了一个背景 对静态分析和探讨一些建筑设计中涉及的适应性理论为导向 静态分析技术的商业级工具，Coverity.

Bio

Tushar Sharma是Synopsys Software Integrity Group的高级软件工程师。 并致力于Coverity静态分析产品. He obtained his M.S. (2011) and Ph.D. (2017)在威斯康星大学麦迪逊分校的计算机科学，并移居 to Bay Area in 2017.

Talk Time and Place

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