• bearophile (4/5) Aug 16 2011 http://www.viva64.com/en/b/0092/

bearophile <bearophileHUGS lycos.com> writes:

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