SF Markus Elfring wrote:
>
> Hello,
>
> I imagine a use case for static code analysis and flaw detection.
> Is a test case available that can check if return values from function calls are considered everywhere in the code?
That's an interesting question. I imagine such a tool to be immensely helpful when validating /
debugging software.
> I get the experience that some error checking is missing in a couple of free software projects. Can the tool "OpenC++" or "Synopsis" add/generate exception handling for this purpose at the appropriate places?
In what way to you think a static analysis tool can help ? Synopsis can't guess the domain
of all possible values, and so can't know if all values are tested for. In the same
line of thought I don't think exceptions are an appropriate means.
All synopsis can do is test that the return value is *used* (at least once), and issue a
warning if not. That in itself will already be very useful.
Regards,
Stefan
|
