Topic: Semantic Analysis of C# by Ben Clifford (Coverity)
Static analysis shouldn’t be about finding pounds of coding style or standard issues. It should be focused on finding the most critical – potentially crash causing defects. In this session we’ll explore advances in modern static analysis technologies and sophisticated modeling techniques which improve the accuracy of analysis and in some cases reduces the number of findings. We’ll explore specific types of common defects including resource leaks and concurrency issues and contrast them with coding style issues found by FX Cop. We’ll discuss best practices for implementing semantic analysis into the SDLC.
Ben Clifford is a Sales Engineer with Coverity, Inc., the leader in Development Testing Solutions. Ben has 15 years of software development experience in Healthcare IT, where he was responsible for the design and implementation of high volume EDI systems and customer facing web applications. Working in Healthcare Ben has developed a unique understanding of the Quality Management Systems necessary to manage the risk associated with software development in a highly regulated industry.
Please visit http://www.clevelanddotnet.info/ for more information.