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. == Capabilities == ECLAIR is a complete re-engineering of a series of prototypes developed at the Applied Formal Methods Laboratory of the University of Parma. It uses formal methods... Found on http://en.wikipedia.org/wiki/ECLAIR