[os2mac]

exactly my point. When they released SELinux this was the argument and how many lines of code does an OS have?

[hermitdev]

Lines of code is not a great metric to equate to the effort of auditing the code.

Harder to meter: how understandable is the code? More verbose, but more easily understandable code will be far easier to audit.

Personally, I'd rather a million lines of code that are clear and obvious than 500k that are obtuse, terse and/or obfuscated.