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?
Odpověď na názor
Odpovídáte na názor ke zprávičce Hlasování k OOXML v ČR.
Pravidla pro diskutující
Přidáním čtenářského příspěvku do diskusí či fóra souhlasíte s tím, že budete dodržovat následující pravidla. Při jejich hrubém porušení se vystavujete riziku smazání příspěvku, jeho modifikaci, v krajním případě i zablokování přístupu do diskusí.
Redakce ze zásady nezasahuje do čtenářských diskusí a zavazuje se, že nebude mazat ani modifikovat příspěvky, kromě případů, kdy tyto porušují některé z následujících pravidel. V takové situaci je na zvážení redakce, zda příspěvek modifikuje s viditelným upozorněním, či přímo smaže. Redakce nikdy nemaže „nesouhlasné komentáře“ jen proto, že jsou nesouhlasné. Vítáme střet názorů, ale vždy v rámci slušné a kultivované debaty.
Příspěvky nesmí obsahovat:
- Vulgární či hrubé výrazy.
- Urážlivé výroky na adresu druhé osoby či skupiny osob.
- Texty, které mají za cíl jen vyprovokovat emotivní reakci (trolling).
- Rasové útoky či útoky na jakoukoliv jinou menšinu či skupinu obyvatel.
- Komerční nabídky a affiliate odkazy.
- Odkazy na warez, sériová čísla, licenční kódy, pornografii a další nevhodný materiál stejně jako žádosti o poskytnutí tohoto obsahu.
- Prokazatelně protiprávní obsah.
Informace o soukromí: U všech přidaných komentářů provozovatel ukládá IP adresu a hostname odesílatele. U neregistrovaných uživatelů se na webu zobrazuje část hostname, případně IP adresy, neumožňující identifikovat konkrétní počítač.
Povolené značky XHTML: a, br, code, em, li, ol, p, pre, strong, sub, sup, ul
