| |||||||||||||
CoccinelleCoccinellePosted Jul 30, 2009 8:35 UTC (Thu) by w_sang (subscriber, #52415)Parent article: Finding buffer overflows with Parfait
I think Coccinelle should be mentioned here. It probably works differently, but it has a good set of semantic patches covering different areas of programming mistakes. It already helped fixing quite a number of bugs in the kernel.
(Log in to post comments)
|
|||||||||||||