ECLAIR: Difference between revisions
List sorted. |
No edit summary |
||
| Line 49: | Line 49: | ||
<!-- This will add a notice to the bottom of the page and won't blank it! The new template which says that your draft is waiting for a review will appear at the bottom; simply ignore the old (grey) drafted templates and the old (red) decline templates. A bot will update your article submission. Until then, please don't change anything in this text box and press "Save page". --> |
<!-- This will add a notice to the bottom of the page and won't blank it! The new template which says that your draft is waiting for a review will appear at the bottom; simply ignore the old (grey) drafted templates and the old (red) decline templates. A bot will update your article submission. Until then, please don't change anything in this text box and press "Save page". --> |
||
<!-- This will add a notice to the bottom of the page and won't blank it! The new template which says that your draft is waiting for a review will appear at the bottom; simply ignore the old (grey) drafted templates and the old (red) decline templates. A bot will update your article submission. Until then, please don't change anything in this text box and press "Save page". --> |
|||
{{AFC submission|||ts=20121227083526|u=Roberto Bagnara|ns=5}} |
|||
Revision as of 08:35, 27 December 2012
 | This article, ECLAIR, has recently been created via the Articles for creation process. Please check to see if the reviewer has accidentally left this template after accepting the draft and take appropriate action as necessary.
Reviewer tools: Inform author |
| This article, ECLAIR, has recently been created via the Articles for creation process. Please check to see if the reviewer has accidentally left this template after accepting the draft and take appropriate action as necessary.
Reviewer tools: Inform author |
| Developer(s) | BUGSENG, LLC |
|---|---|
| Stable release | 1.2
/ November 12, 2012 |
| Operating system | Cross-platform |
| Type | Static code analysis |
| License | Proprietary |
| Website | 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.
Capabilities
ECLAIR is a complete re-engineering of a series of prototypes[1] developed at the Applied Formal Methods Laboratory of the University of Parma. It uses formal methods-based static code analysis techniques such as abstract interpretation and model checking combined with constraint satisfaction techniques to detect or prove the absence of certain run time errors in source code, and provides support for program analysis and verification, program test generation and program transformation.
Concerning program analysis and verification, ECLAIR can statically detect or proof the absence of run-time anomalies as well as the automatically check for conformance with respect to several coding standards, such as MISRA C, MISRA C++, CERT C Secure Coding Standard, CERT C++ Secure Coding Standard, High-Integrity C++, NASA/JPL C, ESA/BSSC C/C++, JSF C++, EC--[2], Netrino Embedded C[3], The Power of Ten (C)[4], Industrial Strength C++[5].
For program testing, ECLAIR can automatically synthesize sets of unit test inputs that reach a user-specified coverage criterion, warning the user when, due to infeasible conditions in the program, this coverage cannot be attained.
Regarding program transformation, ECLAIR can be used to perform complex program transformations: these are specified by syntactic and semantics-based criteria; the program regions in the source that match these criteria can be optionally replaced by a parametrized substitution.
See also
References
- ^ R. Bagnara, P. M. Hill, E. Zaffanella (2007). "A Prolog-based Environment for Reasoning about Programming Languages". arXiv:0711.0345 [cs.PL].
{{cite arXiv}}: CS1 maint: multiple names: authors list (link) - ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.infsof.2004.08.001, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with
|doi=10.1016/j.infsof.2004.08.001instead. - ^ Template:Cite isbn
- ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1109/MC.2006.212, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with
|doi=10.1109/MC.2006.212instead. - ^ Template:Cite isbn
External links
- BUGSENG, LLC website
- Official ECLAIR website
- Partial list of CERT C rules supported by ECLAIR
- Partial list of CERT C++ rules supported by ECLAIR
Category:Static program analysis tools Category:Software testing tools Category:Software verification tools
| This article, ECLAIR, has recently been created via the Articles for creation process. Please check to see if the reviewer has accidentally left this template after accepting the draft and take appropriate action as necessary.
Reviewer tools: Inform author |