[Christey2006a].
By its very nature, high-profile software is going to be audited extensively and
relentlessly; more people are going to pay attention to it, including the most skilled
analysts, who might need to push the boundaries to find new problems. Consumers