Re: static analysis on NetBSD code.

[nikunj badjatya <nikunjbadjatya%gmail.com@localhost>]

>> I think you mean "what these analyzers claim are various issues with
>> the NetBSD code"
>
> Yes I mean NetBSD codes.
>
>>> 2. And can anyone tell me about the way these SCA's work? as in to analyze
>>> say fread.c , What input does these tools supply to check the functionality
>>> of the code.
>
>>They parse code and look for unusual and probably problematic constructs.
> Some of these tools can look for memory leaks, leaked descriptors
>
>  I know that they find memory leaks, buffer overflows..etc. But for
> ex. take strftime.c source code. To check any buffer overflow in this
> code, what inputs/arguments do they supply?
>
> Thanks,
> Niks