Tech Talk - Static Analysis in Industry: Techniques and Challenges
Speaker: Peter Henriksen,
Director of the Static Analysis team, Coverity
Title: Static Analysis in Industry: Techniques and Challenges
Date: Friday, June 29
Time: 12:30 - 1:30 pm
Location: Rm X836, ICICS/CS Bldg. 2366 Main Mall
Registration: Please sign up below so we know how many people will be attending.
Tech Talk Abstract
The techniques employed in Coverity Static Analysis products will be presented together with code examples of actual defects found by Coverity tools. Challenges to successful deployment of Static Analysis products in industry, as well as future technical challenges, will be discussed.
About Coverity
Coverity, the development testing leader, is the trusted standard for companies that need to protect their brands and bottom lines from software failures. More than 1,100 Coverity customers use Coverity's development testing suite of products to automatically test source code for software defects that could lead to product crashes, unexpected behavior, security breaches, or catastrophic failure. Coverity is a privately held company headquartered in San Francisco, with offices in Boston, Calgary, London and Tokyo, with more than 200 employees worldwide. Coverity is funded by Foundation Capital and Benchmark Capital.
Founded in the Computer Systems Laboratory at Stanford University in Palo Alto, California, Coverity invented a fundamentally different way to test complex source code to find hard to spot, yet critical software defects in a solution that was consumable for commercial use. Since its inception in 2003, Coverity has cemented its leadership position in the industry with its flagship offering, Coverity® Static Analysis, and has expanded its product portfolio to include a suite of additional capabilities as part of its development testing platform.
Bio for Peter Henriksen
Peter Henriksen received his M.Sc. and Ph.D. from the Technical University of Denmark where he was the first to develop full 3D simulation of ultrafiltration, and did his post-doc at Université Catholique de Louvain in Begium doing parallel computing research in the area of polymeric liquids simulations.
He has worked at several startups, most recently, prior to joining Coverity, he was part of Jareva, later acquired by Veritas/Symantec, that developed the OpForce Datacenter Automation & Provisioning solution.
He is currently the Development Director of the Analysis Team at Coverity where he is responsible for the Static & Dynamic Analysis products for C/C++, Java and C#.