This is the most intruiging GCC patch I’ve seen for a while. It adds a customizable static checker to GCC, based on the mygcc work. I haven’t read the patch yet, or tried it out, and it went by on the list with little fanfare… much less than it deserves. Static analysis in the compiler has great potential.
One Comment
Wow! That *is* really cool. I’d been idly thinking about tools like that for some time, and now somebody has gone off and done it!