"... amely képes bizonyos programozási hibák feltárásáta ..."
"... a kódellenőrző programok nem találnak meg minden bugot, nagyon jók arra, hogy bizonyos típusú hibákat felfedjenek."
Ezeket az eredményeket bizonyítéknak tekinteni azügyben, h most a Linux vagy a BSD-e a biztonságosabb vagy jobban megírt.... hát, szerintem badarság.