Regarding static analysis of DMD source code, I think this (young) commercial static verifier is usable (for a short time) for free:
>We can provide a free license for 1 month to students, authors of articles in >IT subject editions and blogs. We also can provide it to such developers of >free open-source software who just want their projects to be verified for the >presence of the errors our analyzer can diagnose.< http://www.viva64.com/en/b/0092/ Bye, bearophile
