In safety-critical software development, you are required to qualify all the code you use, but only the code you use. Modern applications pull in vast C and C++ libraries, most of which remain entirely unused. Qualifying them all is wasteful, costly, and unjustified.
ECLAIR Code Scout, an add-on to the ECLAIR Software Verification Platform, tells you exactly which parts of your codebase—including the C and C++ Standard Libraries, third-party components, and internal modules—are actually used. This allows you to focus your qualification and verification efforts precisely, where it matters most.
Qualifying a full C/C++ library, like the STL, POSIX headers, or Boost, can mean thousands of lines of additional static analysis, documentation, and review effort.But typically, less than 5% of such libraries are actually used in your application.
Without precise visibility, teams over-qualify by default wasting precious time, money, and audit energy.
Code Scout automatically maps your application’s actual dependencies by:
Detecting every used entity across all included libraries and modules
Automatically excluding unused code from ECLAIR analyses and reports
Documenting exactly what must be qualified for audit and certification
Producing ready-to-use ECLAIR configuration for scoped analysis
No guesswork. No risk. No unnecessary work.
All major safety standards (ISO 26262, EN 50128, IEC 62304, etc.) require justification and qualification for reused software. But they do not require you to qualify what you do not use. With Code Scout, you can:
Clearly document your actual usage of third-party or legacy libraries
Justify scoped qualification with traceable evidence
Avoid redundant MISRA/Coding Guideline violations from unused code
Reduce review and analysis load by an order of magnitude
Works on large codebases with deep library trees
Supports additional entry points beyond main() (e.g., interrupt handlers, kernels)
main()
Fully automatable as part of CI/CD pipelines
Compatible with all ECLAIR checkers (MISRA, architectural, runtime errors…)
Lets you exclude already-qualified components from further analysis
ECLAIR Code Scout is built on the TÜV SÜD-certified ECLAIR platform, trusted across the automotive, rail, medical, industrial, and aerospace sectors.
Stop qualifying code you don’t use. With Code Scout, you know exactly what to qualify and exactly what to leave out.
Want to know more?
Schedule a callRequest a quote