Powered by Linux
Re: buffer overflow check bug — Semantic Matching Tool

Re: buffer overflow check bug

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Mon, Jun 18, 2012 at 08:33:58AM -0400, KOSAKI Motohiro wrote:
> >By default smatch looks for the list of no return functions in
> >"smatch_data/no_return_funcs".  Or if you pass a -p/--project
> >option, then it looks for them in the
> >"smatch_data/<project>.no_return_funcs" file.
> 
> Okay, I probably understand the issue. The real question is, why
> don't smatch parse "attribute(noreturn)" automatically?
> 

That's a fair point.  I'll push a patch for this later today.

regards,
dan carpenter

--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux