Cray Elliott e73921aee1 valgrind: patch build system to allow linux kernels of v4.x		2015-04-21 20:40:15 -07:00
..
cccc
checkstyle	checkstyle: update from 6.4.1 to 6.5	2015-04-08 16:03:03 +02:00
clang-analyzer
coan	coan: only build on Linux	2015-03-01 12:32:13 +01:00
cov-build
cppcheck	cppcheck: 1.67 -> 1.68	2015-02-05 16:58:21 +01:00
emma
findbugs	findbugs: update from 3.0.0 to 3.0.1	2015-03-09 19:35:24 +01:00
flow	Add Flow	2014-11-18 21:15:55 -07:00
frama-c	zarith: propagate build input gmp	2014-11-07 09:50:39 +00:00
include-what-you-use	include-what-you-use: pin clang to version 3.5	2015-03-26 00:29:42 +01:00
jdepend
lcov
massif-visualizer
pmd	pmd: update from 4.2.6 to 5.2.3	2015-03-12 21:19:49 +01:00
radare
radare2
rr	nixpkgs: rr 2.0.0 -> 3.0.0, with 64bit support	2014-12-12 01:20:23 -06:00
smatch	Turn more licenses into lib.licenses style	2014-11-06 00:48:16 +00:00
sparse
spin	Turn more licenses into lib.licenses style	2014-11-06 00:48:16 +00:00
splint
valgrind	valgrind: patch build system to allow linux kernels of v4.x	2015-04-21 20:40:15 -07:00
valkyrie