[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?
Main Index |
Thread Index |