A Proposal for Sniffer: a System that Understands Bugs (opens in new tab)

A Proposal for Sniffer: a System that Understands Bugs Shapiro, Daniel G. This paper proposes an interactive debugging aid that exhibits a deep understanding of a narrow class of bugs. This system, called Sniffer, will be able to find and identify errors, and explain them in terms which are relevant to the programmer. Sniffer is knowledgeable about side-effects. It is capable of citing the data which was in effect at the time an error became manifest. The debugging knowledge in Sniffer is or...