Díky všem za odpovědi.
[1] Ten statický analyzátor musí, žel, někdo napřed napsat. Můj seriálek je o principech a ne o konkrétních nástrojích.
[2] Když udělám jednu funkci a tu zavolám právě jednou, zlepšení je poměrně zanedbatelné. Pokud ale vytvořím nějaký bezpečný idiom, který lze používat znova a znova, situace je výrazně lepší.
[3] Já jsem za kritiku naopak vděčný! Hlavním účelem mého seriálu je rozproudění diskuse a rozšíření obzorů. U prvního článku byla diskuse poměrně bohatá, ale nechtěně jsem ji zazdil, když jsem nevypnul moderování příspěvků. To mě dost mrzí.
Rád věřím tomu, že triviální nekonečný cyklus typu while(true){} lze snadno detekovat, ale o ten mi ani tolik nešlo. Složitý cyklus s podmínkou, která je závislá na komplikovaném výpočtu, to je tvrdší oříšek. Jsem přesvědčen o tom, že i takovým případům lze zatrhnout típec podobnými technikami, jaké jsem zatím naznačil.
Za tipy děkuji, design by contract a používání const jsou směry, kterými se moje myšlenky už zaobírají.
Jinak souhlasím.
[4] Nejenom SPARK. O tomto jazyce jsem dosud neslyšel, díky za tip!