PVS-Studio static analyzer on DMD?

[bearophile]

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