Time and Location
Static analysis is a technique for finding bugs without running the code. This presentation will examine the technical problems of analyzing millions of lines of code, the philosophical problems of answering the question “what is a bug anyway?” and the psychological problems of explaining bugs to a skeptical audience.
Bob Archer has worked at Coverity for the past year. Previously he has worked on image processing, computer games, virtual reality and 3D simulation. He has a particular interest in the problem of writing high quality code in the commercial world.