C++ Static Analysis as done on the large Mozilla codebase: http://blog.ezyang.com/2010/06/static-analysis-mozilla/ It shows that it's important to have a more powerful static reflection in D. It works well with scoped user-defined attributes too. Bye, bearophile