Is it possible to produce bug-free code?

With rising user expectations for problem-free products programmers are under increased pressure to produce bug free code, but is it possible to do so with the complexity of today's mission critical applications"With the growing complexity of software and the associated climb in bug rates, it's becoming increasingly necessary for programmers to produce bug-free code much earlier in the development cycle, before the code is first sent to Testing," wrote Steve Maguire in "Writing Solid Code" (Microsoft Press). "The key to writing bug-free code is to become more aware of how bugs come about. Programmers can cultivate this awareness by asking themselves two simple questions about every bug they encounter: "How could I have prevented this bug?" and "How could I have automatically detected this bug?" Mr. Maguire's answer is a key value proposition of automated static source code analysis tools.