If you don't trust your developers to write clean, readable (yet mission-critical) code, there's little that a command-line only tool can fix for you; you've got bigger problems to worry about.

"Management" seems too worried about the wrong optimizations.