There actually has been quite a bit of work on this front. DrScheme, for example.<p>It&#x27;s a very, very hard problem, though. And computers cannot, in general, figure out what&#x27;s wrong with broken code.