...
Compass/ROSE automatically detects simple violations of this rule, although it may return some false positives. It may not catch more complex violations, such as initialization within functions taking arguments to uninitialized variables as arguments. It does catch the second noncompliant code example, and can be extended to catch the first as well.
...