I worked on a system in the early 90's that did very detailed static analysis. We applied it to many programs, including household (officehold?) names at the time and found bugs all over the place.
This led to a truism in the office: code works by accident. Large programs are full of bugs but somehow they muddle through most of the time.