On Mon, May 14, 2012 at 11:06:09AM +0200, Arend van Spriel wrote: > On 05/14/2012 10:34 AM, Dan Carpenter wrote: > > On Mon, May 14, 2012 at 09:07:55AM +0200, Arend van Spriel wrote: > > What Smatch does that Coccinelle doesn't is that it tries to track > > the values of all the variables. This means you can detect array > > overflows, for example. Smatch tries to track values across > > function calls as well, with the recent database work. > > I guess Oracle knows a thing or two about databases. Uh... It just puts all the information of how the functions are called into an sqlite3 database. Arg 3 is a number 0-9. regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe linux-wireless" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
