The use of static analysis in programming allows for checking not only language rules but also usage of language rules. Good code often requires not only regulated practices, but also a spark of inspiration, while messy code is easily identifiable by its unpleasant 'smell'.