[Daca-general] scan-build and metrics gsoc proposals and DACA

[Raphael Geissert]

Hi,

On 18 March 2013 15:20, Michael Tautschnig <mt at debian.org> wrote:
> Please do get in touch if you're interested in a single script where you could
> essentially just put spatch or whatever other tool that supposedly acts whenever
> gcc is supposed to be called with zero effort. It does all the work from setting
> up a chroot to running on all present Debian packages in the suite of your
> choice. This might save the student wading all the technical nasty bits to go
> straight for the interesting (== Coccinelle) part. Yet this script also has one
> shortcoming: it's not flexible, as you say below:

I have a similar script that I wrote in order to run smatch (yeah, the
tool designed with the kernel code in mind :)
And a similar one for cppcheck (based on the actual compile-time
libraries and defines).

They are all WIP, but I should probably put them somewhere so that
other people can re-use them if they want.

Cheers,
-- 
Raphael Geissert - Debian Developer
www.debian.org - get.debian.net