I tend to be of the camp that if a tool can automatically detect issues, they usually aren't that important of an issue. The real messes that lose money can't be cleaned with a formatter or detected with a tool.

Some problems could be fixed by autoformatting, some others could not because they involved a decision.

For example:

- StyleCop validated variable names beyond just casing, and forced you to decide how to comply.

- StyleCop validated the number of arguments in methods, the length of a method and the length of statements.

- StyleCop would identify situations when a variable should be created for a expression.

Every large mess starts as a smaller mess, and that smaller mess is usually low quality code.

I was tasked with running an autocorrector on all our code once in 6 months. On average, out of thousands problems it detected, 1-2 came out as real hard bugs, that would never been caught by programmers or the testing team. 1-2 bugs for a day of work is not that bad.