Checking FreeBSD kernel with static analyzer

Warren Block wblock at
Wed Feb 10 16:55:38 UTC 2016

On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:

> The analysis report (filtered for most interesting messages) is attached, you 
> can use it without any restrictions. To use the report, please append the 
> beginning of the paths to files with the path to a directory containing 
> kernel sources (replace |?| in case of csv).
> Our article itself will be ready approximately in a week, we well appreciate 
> if you could post about it in a news section on

Please notify me or the freebsd-doc mailing list when the article is 


More information about the freebsd-doc mailing list