Часть проверок, которые можно выполнять без изменений языка, ценна - и реализуема на каком-то отдельном уровне (как в попытке DevAnalyzer). Это хорошая мысль - реализовывать не в конкретном компиляторе, а отдельно.

Просто задача занудная, не сулящая прикладных прорывов - и никто особо не занимается.