| Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 1 | # |
| Alexei Fedorov | 20fdf50 | 2020-07-27 17:36:38 +0100 | [diff] [blame] | 2 | # Copyright (c) 2019-2020, Arm Limited. All rights reserved. |
| Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 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. |
| 17 | exclude_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 | |
| Alexei Fedorov | 20fdf50 | 2020-07-27 17:36:38 +0100 | [diff] [blame] | 31 | ("plat/arm/board/fvp/fconf/fconf_nt_config_getter.c", "Not currently used. Future functionality"), |
| Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 32 | ("plat/arm/common/arm_tzc_dmc500.c", "not used by any upstream platform"), |
| 33 | |
| 34 | ("plat/mediatek/mt8173/plat_mt_gic.c", "deprecated code"), |
| 35 | |
| 36 | ("lib/aarch32/arm32_aeabi_divmod.c", "not used by any upstream platform"), |
| 37 | |
| 38 | # Waiting for the following patch to be available: |
| 39 | # http://ssg-sw.cambridge.arm.com/gerrit/#/c/49862/ |
| 40 | ("plat/rockchip/rk3399/drivers/m0/.*", |
| 41 | "work around the lack of support for the M0 compiler in the scripts"), |
| 42 | |
| 43 | ("tools/.*", "Host tools"), |
| 44 | ("plat/qemu/sp_min/sp_min_setup.c", "not used in any upstream platform - see GENFW-2164") |
| 45 | ] |