On Sun, Dec 13, 2009 at 3:04 PM, Albert ARIBAUD <albert.arib...@free.fr> wrote: > Øyvind Harboe a écrit : > >>> -Wall is the minimum that should be applied to source code. Running it >>> through Splint (or some other verification tool) would not hurt either. >> >> Is there an open source lint tool that's worthwhile to use? >> >> Did you try splint on OpenOCD? > > Apart from Splint, I haven't used open source verification tools (but I do > use a non-open source one in my day job). And no, I haven't tried splint on > it, although I could give it a try if you want.
I think a report on the results and possibly a patch to use it would be well received. -- Øyvind Harboe US toll free 1-866-980-3434 / International +47 51 63 25 00 http://www.zylin.com/zy1000.html ARM7 ARM9 ARM11 XScale Cortex JTAG debugger and flash programmer _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development
