Checking FreeBSD kernel with static analyzer

[Svyatoslav Razmyslov]

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.


10.02.2016 21:47, 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!
>


-- 
Svyatoslav Razmyslov
"Program Verification Systems" (Co Ltd)