[Nix-dev] [PATCH 0/1] Add a "smatch" package.

Cyril Roelandt tipecaml at gmail.com
Fri Oct 5 03:24:08 CEST 2012


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/


More information about the nix-dev mailing list