Vlákno názorů k článku
Vývojáři Firefoxu opravují bezpečnostní chyby s AI, nejnovější verze jich vyřešila 271 od HuHu - Proč by vymýcení bezpečnostních zranitelností mělo být nereálný...

Proč by vymýcení bezpečnostních zranitelností mělo být nereálný cíl?
To jako nejde napsat kód bez chyb?
Chyba se stát může... ale to nikdo nedělá kontrolu a testy aby byla chyba objevena a opravena před vydáním?
(a nemyslím tím teď jenom Firefox ale každýho kdo tvoří kód/software)

To jako nejde napsat kód bez chyb?
Obecně nejde. Chyba v programu znamená, že se program nechová v souladu se zadáním. Když máte rozporné zadání, budou v programu chyby. Takže vaše otázka by se dala přeformulovat jako: „To jako nejde vytvořit bezrozporné zadání?“ A odpověď je, že pro složitější programy samozřejmě nejde.

Samozřejmě to neznamená, že nepůjde s AI opravit spoustu chyb a zranitelností. Spoustu ano, všechny těžko.

ale to nikdo nedělá kontrolu a testy aby byla chyba objevena a opravena před vydáním?
Samozřejmě že dělá. Ale nejdřív někoho nebo něco musí napadnout, že vůbec taková chyba může vzniknout, pak to teprve může kontrolovat a testovat. A také na to musí být zdroje.

Na základní škole nás už tehdy pan ředitel učil:

Nikdy neříkej že něco nejde, protože se vždycky najde nějakej blbec, kterej neví že to nejde a udělá to.

Jestli někdo přijde na praktický způsob, jak psát bezchybné programy, já budu jedině rád.

HuHu: To samozřejmě platí, ale nejdřív musíš vědět, co "nejde" :-).

Pokud máte univerzální řešení, jak psát programy bez chyb, sem s ním. Krom toho, že na něj nedokázali přijít v největších technologických firmách, by vás nejspíš zaměstnali kdekoliv s pohádkovým platem.

Jediné, co máme, je analýza a testování (dnes dost často i automatizované přes CI, ale to samo o sobě nestačí) a i to pouze vychytá známé nebo zjevné chyby.

23. 4. 2026, 15:46 editováno autorem komentáře

Pisat bez beznostnych chyb nejde. No aj mozete napisat nejaky maly program, ktory bezpenostne chyby mat nebude, ale to plati vo velmi obmedzenom pripade, lebo ten program je zavysli na nejakych knizniciach, na operacnom systeme a ne nejakom hardveri... daju sa vyuzit ich chyby. A keby aj nie, prostredie okolo programu sa meni, napriklad nejaka kniznica zmeni defaultnu hodnotu premenej a vy mate bug, alebo chrome vyda aktualizaciu a uz mate dieru.

Zadání nebývá rozporné, ale spíš neúplné. Zadání říká co program dělat má. Ale obvykle nepopisuje do všech detailů, co dělat nemá, nebo jak má reagovat na všechny možné vady na vstupu. To je pak na vývojáři, jak tyhle případy dokáže předvídat, zvážit zneužitelnost a ošetřit.

Ty sa asi nezivis testingom vsak?

Nejde napisat kod bez chyb.
Vies ich len minimalizovat. Cim vecsia minimlaizacia, tym vecsie naklady na to.
V roznych odvedviach mas rozne definovane poziadavky na kvalitu/chybovost.
Mas na to normalne normy.

Ta kontorola, aj nasledna oprava a cely manazment okolo nieco stoji a tak si musis vybrat medzi nakladmi/cenou a kvalitou.