Browse Books

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. 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, there's 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 problems How static analysis can help programmers get security right The critical attributes and algorithms that make or break a static analysis tool 36 techniques for making static analysis more effective on your code More than 70 types of serious security vulnerabilities, with specific solutions Example vulnerabilities from Firefox, OpenSSH, MySpace, eTrade, Apache httpd, and many more Techniques for handling untrusted input Eliminating buffer overflows: tactical and strategic approaches Avoiding errors specific to Web applications, Web services, and Ajax Security-aware logging, debugging, and error/exception handling Creating, maintaining, and sharing secrets and confidential information Detailed tutorials that walk you through the static analysis process“We designed Java so that it could be analyzed statically. This book shows you how to apply advanced static analysis techniques to create more secure, more reliable software.”ï Bill Joy, Co-founder of Sun Microsystems, co-inventor of the Java programming language“'Secure Programming with Static Analysis' is a great primer on static analysis for security-minded developers and security practitioners. Well-written, easy to read, tells you what you need to know.”ï David Wagner, Associate Professor, University of California Berkeley“Software developers are the first and best line of defense for the security of their code. This book gives them the security development knowledge and the tools they need in order to eliminate vulnerabilities before they move into the final products that can be exploited.”ï Howard A. Schmidt, Former White House Cyber Security AdvisorBRIAN 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 Software's Security Research Group, which is responsible for building security knowledge into Fortify's 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 Software's Source Code Analysis (SCA) product; extensive Java and C code samples; and the tutorial chapters from the book in PDF format.Part I: Software Security and Static Analysisï ï ï ï ï ï ï 1 1ï ï ï ï ï ï ï ï ï The Software Security Problemï ï ï ï ï ï ï ï ï 3 2ï ï ï ï ï ï ï ï ï¾ Introduction to Static Analysis 21 3ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Static Analysis as Part of the Code Review Processï¾ ï¾ ï¾ 47 4ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Static Analysis Internalsï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 71Part II: Pervasive Problemsï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 115 5ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Handling Input 117 6ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Buffer Overflowï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 175 7ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Bride of Buffer Overflowï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 235 8ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Errors and Exceptionsï¾ 265Part III: Features and Flavorsï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 295 9ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Web Applicationsï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 297 10ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ XML and Web Servicesï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 349 11ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Privacy and Secretsï¾ ï¾ ï¾ ï¾ 379 12ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Privileged Programsï¾ ï¾ ï¾ 421Part IV: Static Analysis in Practiceï¾ 457 13ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Source Code Analysis Exercises for Javaï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 459 14ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Source Code Analysis Exercises for C 503 Epilogueï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ 541Referencesï¾ ï¾ ï¾ ï¾ ï¾ 545Indexï¾ ï¾ 559