|
ABSTRACT:
Since its introduction, static source code analysis has had a mixed reputation with development teams. It often results in long analysis times, excessive noise or an unacceptable rate of false-positive results. Without effective static analysis techniques, organizations are unable to improve code quality and accelerate the availability of new applications.
This white paper examines the history of static analysis and SAT technology. Discover how the use of SAT technology in static analysis enablesdevelopers to improve the quality and security of their code by identifying critical defects with a low rate of false-positives. Learn how to easily identify problems such as string overflows, integer overflow and deadcode, and explore how to use static assert checking to identify difficult to find logic bugs.
|
|
Authors
Ben Chelf
CTO
,
Coverity
Ben Chelf is CTO of San Francisco-based Coverity, Inc. Before he co-founded Coverity, Ben was a founding member of the Stanford Computer Science Laboratory team that architected and developed Coverity’s underlying technology. He is one of the world’s leading experts on the commercial use of static source code analysis. In 2007, he was selected as one of Computerworld’s “40 Innovative IT People to Watch, Under the Age of 40,” and often provides expert insight into software quality and security for the press, public audiences, and in published writings. In his role at Coverity, Mr. Chelf works with organizations such as the US Department of Homeland Security, Cisco, Ericsson and Symantec to improve the security and quality of software around the world. He holds BS and MS degrees in Computer Science from Stanford University.
Andy Chou
Chief Scientist
,
Coverity
Andy Chou is Chief Scientist of San Francisco-based Coverity Inc. Andy is responsible for advancing source code analysis technology at Coverity as well as furthering the state-of-the-art in software quality and security industry wide. Prior to co-founding Coverity, Andy was instrumental in developing the core intellectual property behind the Coverity platform. He received his Ph.D. in Computer Science from Stanford University and his B.S. in Electrical Engineering from UC Berkeley.
|
