X-Nico

unusual facts about static code analysis



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.


see also

CoDeSys

The CODESYS Professional Developer Edition offers the option to add components to the tool which are subject to licensing, e.g. integrated UML support, a connection to the Apache Subversion version control system or static code analysis of the application code.