Hello, The following patch adds the "smatch"[0] static analyzer to nixpkgs. It is used to find bugs in large C projects, such as the Linux kernel or Wine. With Best Regards, Cyril Roelandt. [0]: http://smatch.sourceforge.net/