On 16.11.2013 10:58:13, Justus Winter wrote: > I've seen Marin has joined in fixing bugs in Mach based on these kind > of analysis, very cool!
Yeah, I've been following your reports. It seems this kind of analysis does emit some false alarms, as seen with my recent patch on null pointer dereference. Also it seems that unused variables outside of any function are not detected (GCC also does not detect this). That said, I plan on investigating null pointer dereference warnings based on your reports, maybe some nice patches will be generated.