I always have a side interest in program static analysis. This one is for C, is expensive (!), and kindly provided a list of what it looks for: http://www.viva64.com/en/d/ Some of these might be useful to add into D.