tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ fetchurl, lib, stdenv, flex }:
2
3stdenv.mkDerivation rec {
4 pname = "splint";
5 version = "3.1.2";
6
7 src = fetchurl {
8 url = "https://www.splint.org/downloads/${pname}-${version}.src.tgz";
9 sha256 = "02pv8kscsrkrzip9r08pfs9xs98q74c52mlxzbii6cv6vx1vd3f7";
10 };
11
12 patches = [ ./tmpdir.patch ] ++ lib.optional stdenv.isDarwin ./darwin.patch;
13
14 buildInputs = [ flex ];
15
16 doCheck = true;
17
18 meta = with lib; {
19 homepage = "http://www.splint.org/";
20 description = "Annotation-assisted lightweight static analyzer for C";
21 mainProgram = "splint";
22
23 longDescription = ''
24 Splint is a tool for statically checking C programs for security
25 vulnerabilities and coding mistakes. With minimal effort, Splint
26 can be used as a better lint. If additional effort is invested
27 adding annotations to programs, Splint can perform stronger
28 checking than can be done by any standard lint.
29 '';
30
31 license = licenses.gpl2Plus;
32 platforms = platforms.unix;
33 };
34}