For those not already aware, there is impressive functionality in Clang to perform static analysis of code:
The de facto way of invoking it is to use their "scan-build" perl script to subvert the normal configure and Makefile with an alternate CC definition.
Crossworks has its own build mechanism, though, so this approach is not useable.
I've been quite impressed with its ability to find things like obscure execution paths that can result in un-initialized variables.
Crossworks is already using quite a modern clang version with such functionality latent inside. Making the next step to take advantage of this functionality would seem a rather worthwhile one.
Please sign in to leave a comment.