Enabled Services

parser B.PARSER

The code shall be parsable without errors by the ECLAIR parser. If the code is parsed with errors the AST is incomplete and the results of ECLAIR analyses are likely to be incorrect

reporter B.REPORT.ECB

Output reports in ECB format

reporter B.REPORT.ERR

Output B.PARSER error reports in plain text to standard error

tool B.CBT

Tag reports using ECLAIR style comments

tool B.EXPLAIN

Explain user configuration

tool B.TOOLCHAIN

ECLAIR shall be able to retrieve toolchain information from the toolchain itself