blob: 00fb9454a7d3bd576eb68060165f61eb8b0524de [file] [log] [blame]
Fathi Boudra422bf772019-12-02 11:10:16 +02001#
2# Copyright (c) 2019, Arm Limited. All rights reserved.
3#
4# SPDX-License-Identifier: BSD-3-Clause
5#
6
7#
8# This file lists the source files that are expected to be excluded from
9# Coverity's analysis, and the reason why.
10#
11
12# The expected format is an array of tuples (filename_pattern, description).
13# - filename_pattern is a Python regular expression (as in the 're' module)
14# describing the file(s) to exclude.
15# - description aims at providing the reason why the files are expected
16# to be excluded.
17exclude_paths = [
18 ("drivers/arm/cci400/cci400.c", "deprecated driver"),
19 ("drivers/arm/gic/v3/arm_gicv3_common.c", "platform to exercise GIC-500/600 powerdown not available yet"),
20 ("drivers/arm/tzc400/tzc400.c", "deprecated driver"),
21 ("drivers/arm/tzc/tzc_common_private.c",
22 "file included, actually indirectly analyzed"),
23 ("drivers/arm/tzc/tzc_dmc500.c", "not used by any upstream platform"),
24
25 ("drivers/io/io_dummy.c", "not used by any upstream platform"),
26 ("drivers/partition/gpt.c", "not used by any upstream platform"),
27 ("drivers/partition/partition.c", "not used by any upstream platform"),
28
29 ("lib/aarch64/xlat_tables.c", "deprecated library code"),
30
31 ("plat/arm/common/arm_tzc_dmc500.c", "not used by any upstream platform"),
32
33 ("plat/mediatek/mt8173/plat_mt_gic.c", "deprecated code"),
34
35 ("lib/aarch32/arm32_aeabi_divmod.c", "not used by any upstream platform"),
36
37 # Waiting for the following patch to be available:
38 # http://ssg-sw.cambridge.arm.com/gerrit/#/c/49862/
39 ("plat/rockchip/rk3399/drivers/m0/.*",
40 "work around the lack of support for the M0 compiler in the scripts"),
41
42 ("tools/.*", "Host tools"),
43 ("plat/qemu/sp_min/sp_min_setup.c", "not used in any upstream platform - see GENFW-2164")
44]