Coverity: Commercial-grade Static Analysis

摘要

Bugs in shipped code can lead to loss of m一个y, reputation, and even human life when present in critical controller code. Static analysis has proven to be an highly effective approach to automated bug detection. Coverity® static application security testing (SAST) helps 一个 build software that’s more secure, higher-quality, and compliant 与标准. Coverity’s speed, accuracy, ease of use, and scalability meet the needs of even the largest, most complex environments. In this talk, I provide a background on static analysis and discuss some architectural designs involved in adapting academic-oriented static analysis techniques to the commercial-grade tool, Coverity.

生物

Tushar Sharma is a Senior Software Engineer in Synopsys Software Integrity Group, and works on the Coverity Static Analysis product. 他获得了硕士学位。.S. (2011)和 Ph.D. (2017) in Computer 科学 at the University of Wisconsin - Madison, and moved 2017年搬到湾区.

谈话时间和地点

MacQuarrie Hall Room 225 @ 1:30PM on March 3, 2020