[Opencxx-users] Checking of return codes

[SF M. E. <el...@us...>]

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

Examples:
1. malloc
2. pthread_mutex_lock
3. fprintf

Regards,
Markus