Re: [Opencxx-users] Checking of return codes

[Stefan S. <se...@sy...>]

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