Checking FreeBSD kernel with static analyzer

[Warren Block]

On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:

> Hi, Warren.
>
> 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 www.freebsd.org.

An additional question: which Subversion revision of the FreeBSD kernel 
was checked out for the analysis?

Thanks!