[linuxkernelnewbies] StaticChecking - Xen Wiki

[Peter Teoh]

http://wiki.xensource.com/xenwiki/StaticChecking Static Checking Open Source Tools Work on integrating open source static checking tools into the Xen build system is being carried out by Mark Williamson mark.william...@cl.cam.ac.uk in the http://xenbits.xensource.com/maw/xen-checker.hg repository. So far the Linux sparse checker and splint have been integrated for checking the source code of the xen/ tree itself. Further work is required to appl checking to the tools and Linux kernel portions of the codebase. The build system is arranged as follows: type make sparse or make splint in the xen/ directory to run the checker over the tree output is saved in sparse.log and splint.log respectively subsequent runs show only the differences between the new logfile and the old, making it easy to see regressions and new warnings Other Coverity do analysis of various open source projects. Consider submitting Xen to this programme.