This article needs additional citations for verification. (December 2012) |
Developer(s) | BUGSENG, LLC |
---|---|
Stable release | 3.12.0
/ February 28, 2022[1] |
Operating system | Cross-platform |
Type | Static code analysis |
License | Proprietary |
Website | www |
ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and C++ programs.