Hi, just came across the article about DACA in Linux Journal. From checking your project page it seems you don't know about the LLVM Clang Checker [1], which I used some time ago. It is quite good a checking C code at least. Maybe it is helpfull to you. Just my cents. Regards. /holger [1] http://clang-analyzer.llvm.org/