ECLAIR
ECLAIR
ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for the automatic analysis, verification, testing and transformation of C and C++ programs.The above text is a snippet from Wikipedia: ECLAIR
and as such is available under the Creative Commons Attribution/Share-Alike License.