Mario Rodas dbba6f0b3c flow: 0.98.0 -> 0.98.1		2019-05-07 00:05:00 -05:00
..
autoflake	autoflake: 1.2 -> 1.3	2019-04-29 22:33:12 -07:00
brakeman	brakeman: 4.4.0 -> 4.5.0	2019-03-16 12:20:30 -05:00
cccc
checkstyle	checkstyle: 8.19 -> 8.20	2019-04-30 05:48:19 -07:00
clang-analyzer
coan
cov-build
cppcheck	cppcheck: 1.86 -> 1.87	2019-03-01 16:45:06 -08:00
cpplint
egypt	Replace platforms.linux with platforms.darwin for expressions that compile on darwin too (too restrictive platforms)	2019-02-18 10:56:58 +01:00
emma
eresi
evmdis	evmdis: init at unstable-2018-03-23	2019-02-20 11:38:20 +01:00
findbugs
flow	flow: 0.98.0 -> 0.98.1	2019-05-07 00:05:00 -05:00
frama-c
garcosim
hopper	hopper: init at 4.5.7	2019-03-12 06:48:39 -07:00
hotspot
ikos
include-what-you-use
jdepend	treewide: use runtimeShell instead of stdenv.shell whenever possible	2019-02-26 14:10:49 +00:00
kcov
lcov	lcov: 1.13 -> 1.14	2019-03-17 11:04:02 +01:00
makefile2graph
massif-visualizer
panopticon
pev
pmd	pmd: 6.13.0 -> 6.14.0	2019-05-01 18:34:53 -07:00
qcachegrind
radare2	radare2: 3.3.0 -> 3.4.1	2019-04-09 10:36:41 +01:00
randoop
retdec	retdec: remove pycache from install dir	2019-01-12 16:48:40 +01:00
rr
smatch
snowman
sparse
spin	spin: use dropbox "mirror" again to avoid problems	2019-01-19 21:35:05 -06:00
splint
swarm
valgrind	valgrind: mark broken platforms	2019-05-02 21:28:10 -04:00
valkyrie