Peter Simons 1d953779b0 Merge remote-tracking branch 'origin/master' into staging.

2015-03-05 12:24:57 +01:00

..

cccc

…

checkstyle

checkstyle: update from 6.4 to 6.4.1

2015-03-04 12:23:37 +01: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 2.0.3 to 3.0.0, potentially fixes CVE-2012-5659, CVE-2012-5660

2014-09-30 10:56:11 +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

Add include-what-you-use 3.5: static C/C++ #include analyser

2015-02-11 00:14:16 +01:00

jdepend

…

lcov

…

massif-visualizer

…

pmd

pmd: update from 4.2.5 to 4.2.6

2014-09-11 13:34:26 +02: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: fix build with glibc-2.21 by Arch patch

2015-03-03 11:36:43 +01:00

valkyrie

…