From: Grzegorz J. <sof...@ya...> - 2005-08-20 13:24:19
|
Hello, --- SF Markus Elfring <el...@us...> wrote: > 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 I am not sure if I understand the details. Could you provide an example of code transformation that OpenC++ or Synopsis should perform? I mean the code before transformation and after transformation? BR Grzegorz > > Regards, > Markus > > > ------------------------------------------------------- > SF.Net email is Sponsored by the Better Software Conference & EXPO > September 19-22, 2005 * San Francisco, CA * Development Lifecycle > Practices > Agile & Plan-Driven Development * Managing Projects & Teams * Testing > & QA > Security * Process Improvement & Measurement * > http://www.sqe.com/bsce5sf > _______________________________________________ > Opencxx-users mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencxx-users > ____________________________________________________ Start your day with Yahoo! - make it your home page http://www.yahoo.com/r/hs |