Checking FreeBSD kernel with static analyzer

[Warren Block]

On Thu, 11 Feb 2016, Svyatoslav Razmyslov wrote:

> Hi, Warren.
>
> I used GitHub repository: https://github.com/freebsd/freebsd
> git branch: master
>
> For command: "git rev-list HEAD --count", verified revision is 217717.

Sorry, is that a Subversion revision number?  217717 in our Subversion 
repository dates back to 2011.