diff --git a/automation/eclair_analysis/ECLAIR/analysis.ecl b/automation/eclair_analysis/ECLAIR/analysis.ecl index 399099938f..675602e15a 100644 --- a/automation/eclair_analysis/ECLAIR/analysis.ecl +++ b/automation/eclair_analysis/ECLAIR/analysis.ecl @@ -34,6 +34,13 @@ their Standard Library equivalents." -doc_end +-doc_begin="Do not analyze intermediate linking artifacts, as they do not differ from their final +counterparts for the purposes of MISRA C static analysis." +-file_tag+={xen_efi_tmp, "^xen/\\.xen\\.efi\\..*$"} +-file_tag+={xen_syms_tmp, "^xen/\\.xen-syms\\..*$"} +-frames+={hide, "kind(program)&&target(xen_syms_tmp||xen_efi_tmp)"} +-doc_end + -eval_file=toolchain.ecl -eval_file=public_APIs.ecl