Albert ARIBAUD a écrit : > Also note splint has not been updated for a long time, as I discovered > when going to its home site.
There are some alternatives mentioned on Wikipedia: <http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C> I like clang's way of reporting errors, alhtough it migh seem a bit verbose. Frama-C seems overly complex. Sparse might be ok even though it is Linux-kernel-oriented. Bast seems not useable as it apparently requires writing code in a specific way. I'll take a deeper look at clang and sparse. Amicalement, -- Albert. _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development
