About: ECLAIR

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and C++ programs.

Property	Value
dbo:abstract	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)
dbo:genre	dbr:Static_code_analysis
dbo:latestReleaseDate	2022-02-28 (xsd:date)
dbo:latestReleaseVersion	3.12.0
dbo:license	dbr:Proprietary_software
dbo:wikiPageExternalLink	http://bugseng.com/products/eclair https://www.bugseng.com/eclair
dbo:wikiPageID	37619482 (xsd:integer)
dbo:wikiPageLength	4353 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1080280417 (xsd:integer)
dbo:wikiPageWikiLink	dbr:MISRA_C dbr:University_of_Parma dbr:Proprietary_software dbc:Static_program_analysis_tools dbr:Cross-platform dbr:Run_time_(program_lifecycle_phase) dbr:Model_checking dbr:NASA dbr:Constraint_satisfaction dbr:C++ dbr:Joint_Strike_Fighter_program dbr:ESA dbr:Formal_methods dbr:Source_code dbr:JPL dbc:Software_testing_tools dbr:Abstract_interpretation dbr:C_programming_language dbr:Static_code_analysis dbr:List_of_tools_for_static_code_analysis
dbp:developer	BUGSENG, LLC (en)
dbp:genre	dbr:Static_code_analysis
dbp:latestReleaseDate	2022-02-28 (xsd:date)
dbp:latestReleaseVersion	3.120000 (xsd:double)
dbp:license	dbr:Proprietary_software
dbp:name	ECLAIR (en)
dbp:operatingSystem	dbr:Cross-platform
dbp:website	https://www.bugseng.com/eclair
dbp:wikiPageUsesTemplate	dbt:About dbt:Infobox_Software dbt:Refimprove dbt:Reflist dbt:Short_description dbt:Start_date_and_age
dcterms:subject	dbc:Static_program_analysis_tools dbc:Software_testing_tools
gold:hypernym	dbr:Tool
rdf:type	owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397
rdfs:comment	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)
rdfs:label	ECLAIR (en)
owl:sameAs	freebase:ECLAIR wikidata:ECLAIR https://global.dbpedia.org/id/4iYYe
prov:wasDerivedFrom	wikipedia-en:ECLAIR?oldid=1080280417&ns=0
foaf:homepage	https://www.bugseng.com/eclair
foaf:isPrimaryTopicOf	wikipedia-en:ECLAIR
foaf:name	ECLAIR (en)
is dbo:wikiPageWikiLink of	dbr:MISRA_C dbr:Model_checking dbr:List_of_Eclipse-based_software dbr:Éclair_(disambiguation) dbr:List_of_tools_for_static_code_analysis
is foaf:primaryTopic of	wikipedia-en:ECLAIR