diff options
Diffstat (limited to 'nixpkgs/pkgs/development/tools/analysis/splint/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/tools/analysis/splint/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/tools/analysis/splint/default.nix b/nixpkgs/pkgs/development/tools/analysis/splint/default.nix new file mode 100644 index 000000000000..954342550eac --- /dev/null +++ b/nixpkgs/pkgs/development/tools/analysis/splint/default.nix @@ -0,0 +1,33 @@ +{ fetchurl, lib, stdenv, flex }: + +stdenv.mkDerivation rec { + pname = "splint"; + version = "3.1.2"; + + src = fetchurl { + url = "https://www.splint.org/downloads/${pname}-${version}.src.tgz"; + sha256 = "02pv8kscsrkrzip9r08pfs9xs98q74c52mlxzbii6cv6vx1vd3f7"; + }; + + patches = [ ./tmpdir.patch ] ++ lib.optional stdenv.isDarwin ./darwin.patch; + + buildInputs = [ flex ]; + + doCheck = true; + + meta = with lib; { + homepage = "http://www.splint.org/"; + description = "Annotation-assisted lightweight static analyzer for C"; + + longDescription = '' + Splint is a tool for statically checking C programs for security + vulnerabilities and coding mistakes. With minimal effort, Splint + can be used as a better lint. If additional effort is invested + adding annotations to programs, Splint can perform stronger + checking than can be done by any standard lint. + ''; + + license = licenses.gpl2Plus; + platforms = platforms.unix; + }; +} |