C-ben is már régóta hiányolok valami
#pragma safecode
jellegű megoldást, ahol a klasszikus "bármit" helyett bizonyos biztonsági korlátok mentén lehessen programozni.
Kár hogy az alábbi linkeken elért vívmányok nem jöttek (még) át a GNU-C -be:
http://www.safe-c.org
https://www.microsoft.com/en-us/research/project/checked-c/