GSoC/GCI Archive
Google Summer of Code 2013 Debian Project

scan-build on the Debian archive

by Léo Cavaillé for Debian Project

The project consists in using clang's static analyzer (C, C++, Objective-C) on Debian packages to help developers find bugs that compilers are not able to find. scan-build can detect a large range of oddities in the code from dead assignments (a clean up is always something worthy) to null pointer dereferencement or weird malloc/free scenarios. This is a process that could be integrated into Debian quality assurance workflow, to ensure stability for end users and remove bugs even before uploading packages to the archive (such as other daca tools or lintian checks).