or secure language subsets have no justification in terms of quantitative data
(in many cases they are simply stylistic rules instead of rules that counter actual
security problems), and often raise false warnings in code that is actually safe.
Compilers and compiler extensions are also available that check code for