As far as I followed the story, the BARR group only found it was possible, but couldn't replicate the condition. I would also be careful in stating who is inde

As far as I followed the story, the BARR group only found it was possible, but couldn't replicate the condition. I would also be careful in stating who is independant. Mr Barr also have an incentive to claim the code is terrible since he sells static code analysis software and embedded programming bootcamps. That's great advertising for his business. Would your code stand up to the rigours of a Barr analysis? Would any automotive code from any other manufacturer stand up to Barr analysis? Would any other industry stand up to Barr analysis? We don't know the answers to these questions...It is for instance well known that if your code is squeeky clean according to one static analysis package, just running another static analyser will raise a host of other warnings.