Coverity:商业级静态分析

摘要

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

生物

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

谈话时间和地点

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