Samozřejmě pro Windows existuje řada nástrojů, které provádějí statickou či dynamickou analýzu kódu. Problém je ale v tom, že nikdy nemohou dát žádné záruky (což v .NETu lze). Nakonec se podívejte na tisíce bezpečnostních chyb různých produktů, které jsou hlášené každý měsíc. Tohle .NET i Java zachrání určitě. A při rozvedení konceptu verifikace, který jsem popisoval, budemožné stavět systémy zaručených vlastností, což je s C/C++ sci-fi.
Chyby alokace paměti jsou jedním z nejčastějších problémů dnešního SW (určitě by byly v top 5). Programátoři chybují, to "opravit" nelze. Kódu je třeba psát ohromné množství, protože zákazníci chtějí efektivnější práci (ne práci na počítači, ale svou práci). Jaké řešení nabízíte vy?
Když říkáte hledat a ladit chyby, tak to zní, jako by to mělo řešit problém. Neřeší. Myslíte, že autoři děravých či zabugovaných produktů (tedy většiny veškerého SW) neladili a chyby nehledali?
Názor ke zprávičce Hlasování k OOXML v ČR
