[14] Přetečení hodnoty v .NETu i v Javě vyvolá výjimku. Když dojde k výjimce, opravdu se nestane, že by o tom programátor nevěděl, protože postupně bude propadávat kódem, a pokud jí nikdo neošetří, tak program sletí. Srovnejte se situací v dnešním C/C++, kde autor aplikace musí testovat návratové hodnoty po každém volání API, což ale v praxi nedělá.
Samozřejmě statická analýza je další level. Jenže jak chcete dělat statickou analýzu nad kódem, kde strcpy() může znamenat "zkopíruj string", nebo také "přepiš v paměti aplikace cokoliv a kdekoliv"? Tam vás side effects netrápí?
