This website uses cookies to make the content more user-friendly and effective. By using this website, you agree to the use of cookies. You can find additonal information about the use of cookies and the possibility of objecting to the use of cookies here.

25 - 27 February 2020 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2019

ECLAIR

Request information Request information

Contact us

Please enter your personal information and desired appointment. You can also leave us a message.

Your personal information

Your message for us

Desired appointment during the exhibition

* Compulsory fields you must fill in.

Information on data protection can be found here.

Send
Your message has been sent.

You do not have a registration yet? Register now and use all advantages of the Exhibitors and Products Database, the supporting programme and the TicketShop.

An error has occurred.

ECLAIR is a powerful platform for the automatic analysis, verification, testing and transformation of C and C++ programs.

Best-seller Packages

ECLAIR can be instantiated over a whole range of software verification activities, which are provided in the form of packages.

MISRA C:2012 + HIS Metrics

This combines:

  • a state-of-the-art, medium-weight static analyzer suitable for execution on the developer's desktop that almost completely automates the assessment of compliance with respect to MISRA C:2012;
  • a precise and flexible implementation of the source code metrics defined by HIS.


Similar packages exist for MISRA C++:2008 and other coding standards.

ECLAIR Bug Finder

This package includes a very fast static analyzer for C and C++ suitable for execution on the developer's desktop, which is able to detect and report bugs and weaknesses that can lead to crashes, misbehaviors and security vulnerabilities.

Characterized by an extremely high signal-to-noise ratio, ECLAIR Bug Finder identifies security vulnerabilities, dead code, API misuses and other errors in C and C++ source code, including: buffer overflows, dereferences of null pointers, pointer arithmetic errors, use of uninitialized variables, uninitialized or invalid return values, divisions by zero, undefined operations, dead stores, leaks of stack memory addresses, memory leaks, unreachable code, double-free, use-after-free, other dynamic memory allocation issues, lossy implicit conversions, excessive padding (memory waste), vararg functions mistakes, string manipulation errors, library API violations, insecure use of library functions, multithreading issues, dynamic type errors, and other common programming mistakes.

ECLAIR Unique Features

ECLAIR is fit for use in mission and safety-critical software projects: it has been designed from the outset to meet the requirements of most demanding industry standards.
Some of its unique features are described below: they are common to all the packages running under ECLAIR.

Proper Integration with the Toolchain

ECLAIR intercepts every invocation of the toolchain components (compilers, linker, assembler, archive manager) and it automatically extracts and interprets the options that the build system has passed to them. This allows for the seamless integration with any build system.. Moreover, you do not need to engage in error-prone activities such as:

  • specifying which files make up the application, and where the right header files are located;
  • configuring the static analyzer so that the analysis parameters match the options given to the compilers (several options do affect the program semantics).

All this is automatic and supports any build processes without the need to develop and maintain a separate analysis procedure: with ECLAIR the existing build procedure can be used verbatim. One of the key properties of ECLAIR is that it understands the analysis-relevant options of the supported compilers.

Powerful Reporting Capabilities

ECLAIR can be configured to automatically produce compliance matrices required to meet contractual obligations and industrial standards such as ISO 26262.
The compliance matrix is obtained from the actual configuration, which, if properly done, will contain the reason for each deviation. Thus, carrying its rationale, any deviation goes straight from the configuration to the matrix.

In addition, thanks to ECLAIR's ability to intercept and fully understand the communication with the toolchain, the compliance matrix contains full details about the code and its analysis: which files have been compiled and/or analyzed (with full path and a cryptographic hash of their contents), the compiler/linker options, the full version of ECLAIR, ..., with even a cryptographic hash of the generated executables. All this allows reliably linking the compliance matrix to the code that is actually run.

ECLAIR HTML reports are without equal on the market in terms of readability and usability: see for yourself.
 

top

The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.