The First Expert Guide to Static Analysis for Software Security!Creating secure code requires more than just good intentions. Programmers need to know that their code will be safe in an almost infinite number of scenarios and configurations. StaticMoreThe First Expert Guide to Static Analysis for Software Security!Creating secure code requires more than just good intentions. Programmers need to know that their code will be safe in an almost infinite number of scenarios and configurations. Static source code analysis gives users the ability to review their work with a fine-toothed comb and uncover the kinds of errors that lead directly to security vulnerabilities.
Now, theres a complete guide to static analysis: how it works, how to integrate it into the software development processes, and how to make the most of it during security code review. Static analysis experts Brian Chess and Jacob West look at the most common types of security defects that occur today. They illustrate main points using Java and C code examples taken from real-world security incidents, showing how coding errors are exploited, how they could have been prevented, and how static analysis can rapidly uncover similar mistakes. This book is for everyone concerned with building more secure software: developers, security engineers, analysts, and testers.Coverage includes:Why conventional bug-catching often misses security problemsHow static analysis can help programmers get security rightThe critical attributes and algorithms that make or break a static analysis tool36 techniques for making static analysis more effective on your codeMore than 70 types of serious security vulnerabilities, with specific solutionsExample vulnerabilities from Firefox, OpenSSH, MySpace, eTrade, Apache httpd, and many moreTechniques for handling untrusted inputEliminating buffer overflows: tactical and strategic approachesAvoiding errors specific to Web applications, Web services, and AjaxSecurity-aware logging, debugging, and error/exception handlingCreating, maintaining, and sharing secrets and confidential informationDetailed tutorials that walk you through the static analysis processBRIAN CHESS is Founder and Chief Scientist of Fortify Software, where his research focuses on practical methods for creating secure systems.
He holds a Ph.D. in Computer Engineering from University of California Santa Cruz, where he studied the application of static analysis to finding security-related code defects.JACOB WEST manages Fortify Softwares Security Research Group, which is responsible for building security knowledge into Fortifys products. He brings expertise in numerous programming languages, frameworks, and styles together with deep knowledge about how real-world systems fail.CD contains a working demonstration version of Fortify Softwares Source Code Analysis (SCA) product- extensive Java and C code samples- and the tutorial chapters from the book in PDF format.