C-re gondoltam. Tapasztalatom az, hogy ha valami nem elérhető, akkor az átlag programozó szemet huny az ilyen "apróság" felett, a sérülékenység (hibás számítás lehetősége) pedig szépen megbúvik a kódban.
Legalábbis kevés akarja végigolvasni a stackoverflow oldalon az erről szóló értekezést és megkeresni hogy melyik a legkisebb erőforrás igényű:
https://stackoverflow.com/questions/199333/how-do-i-detect-unsigned-int…
https://stackoverflow.com/questions/1815367/catch-and-compute-overflow-…
...