NetBSD-Users archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: static analysis on NetBSD code.

>> 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

Home | Main Index | Thread Index | Old Index