[15] Přetečení hodnoty v .NETu i v Javě vyvolá výjimku. --- tak jakou vyjimku v jave vyhodi nasledujici kod: ,,int x = Integer.MAX_VALUE + 1;''
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á. --- to neni problem jazyka, ale programatora
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"? --- naprosto jednoduse... ;-]