"1.2" . "ECLAIR"@en . . . "2012-11-12Z"^^ . "Active" . "ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and C++ programs."@en . .