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/ _______________________________________________ Daca-general mailing list [email protected] http://lists.alioth.debian.org/mailman/listinfo/daca-general
