| /openbmc/qemu/scripts/coverity-scan/ |
| H A D | run-coverity-scan | 3 # Upload a created tarball to Coverity Scan, as per
4 # https://scan.coverity.com/projects/qemu/builds/new
14 # run the (closed-source) coverity build tools, so don't
19 # build. (This is necessary so that the filenames that the Coverity
23 # installed as possible, for maximum coverity coverage.
25 # To do an upload you need to be a maintainer in the Coverity online
26 # service, and you will need to know the "Coverity token", which is a
38 # --tokenfile : file to read Coverity token from
48 # COVERITY_TOKEN -- Coverity token (default: looks at your
49 # coverity.token config)
[all …]
|
| H A D | coverity-scan.docker | 3 # Docker setup for running the "Coverity Scan" tools over the source
5 # https://scan.coverity.com/projects/qemu/builds/new
16 # run-coverity-scan script.
164 ENV COVERITY_TOOL_BASE=/coverity-tools
166 RUN mkdir -p /coverity-tools/coverity_tool && cd /coverity-tools/coverity_tool && tar xf /coverity_…
167 COPY run-coverity-scan run-coverity-scan
|
| H A D | model.c | 1 /* Coverity Scan model
15 * This is the source code for our Coverity user model file. The
17 * code Coverity can't see (out of tree libraries) or doesn't
29 * http://scan.coverity.com/projects/378
74 * Modeling this would result in Coverity flagging a lot of memory
88 * See also Coverity's library/generic/libc/all/all.c
132 * model that. See Coverity's realloc() model in g_realloc_n()
220 * model that. See Coverity's realloc() model in g_realloc()
|
| H A D | COMPONENTS.md | 1 This is the list of currently configured Coverity components:
|
| /openbmc/qemu/.gitlab-ci.d/ |
| H A D | buildtest.yml | 762 coverity:
776 …- 'scripts/coverity-scan/run-coverity-scan --check-upload-only || { exitcode=$?; if test $exitcode…
781 …scripts/coverity-scan/run-coverity-scan --update-tools-only > update-tools.log 2>&1 || { cat updat…
782 scripts/coverity-scan/run-coverity-scan --no-update-tools'
|
| H A D | opensbi.yml | 27 # Scheduled runs on mainline don't get pipelines except for the special Coverity job
|
| H A D | base.yml | 48 # Scheduled runs on mainline don't get pipelines except for the special Coverity job
|
| /openbmc/linux/drivers/comedi/ |
| H A D | TODO | 6 - Fix coverity 1195261
|
| /openbmc/linux/drivers/gpu/drm/mediatek/ |
| H A D | mtk_drm_plane.c | 157 * may cause coverity issue with unintentional overflow. in mtk_plane_update_new_state()
183 * may cause coverity issue with unintentional overflow. in mtk_plane_update_new_state()
195 * may cause coverity issue with unintentional overflow. in mtk_plane_update_new_state()
|
| H A D | mtk_drm_gem.c | 131 * may cause coverity issue with unintentional overflow. in mtk_drm_gem_dumb_create()
|
| /openbmc/linux/Documentation/admin-guide/cifs/ |
| H A D | todo.rst | 133 6) Address various coverity warnings (most are not bugs per-se, but
|
| /openbmc/qemu/docs/devel/ |
| H A D | secure-coding-practices.rst | 34 performed regularly by Coverity and the most obvious of these bugs are even
|
| /openbmc/linux/drivers/net/ethernet/intel/ice/ |
| H A D | ice_dcb_lib.c | 588 /* Coverity warns the return code of ice_pf_dcb_cfg() is not checked in ice_dcb_rebuild()
591 * Suppress the Coverity warning with the following comment... in ice_dcb_rebuild()
593 /* coverity[check_return] */ in ice_dcb_rebuild()
|
| /openbmc/qemu/include/qemu/ |
| H A D | thread.h | 66 * Coverity is severely confused by the indirect function calls,
|
| H A D | osdep.h | 392 * have to open-code it. Sadly, Coverity is severely confused by the
|
| /openbmc/u-boot/drivers/core/ |
| H A D | of_access.c | 271 * coverity[dead_error_line : FALSE] in __of_get_next_child()
273 * always returns NULL (Coverity CID 163245). But we leave it as is in __of_get_next_child()
|
| /openbmc/linux/drivers/scsi/qla2xxx/ |
| H A D | qla_mr.h | 180 * Use array size 1 below to prevent that Coverity complains about
|
| /openbmc/qemu/ui/ |
| H A D | input-linux.c | 153 * and we make Coverity happy too. in input_linux_handle_keyboard()
|
| /openbmc/linux/drivers/media/radio/si470x/ |
| H A D | radio-si470x-common.c | 60 * - fixed coverity checker warnings in *_usb_driver_disconnect
|
| /openbmc/qemu/hw/block/ |
| H A D | xen-block.c | 105 * to Coverity, and to the human reader who doesn't know the in xen_block_find_free_vdev()
|
| /openbmc/ipmitool/ |
| H A D | ChangeLog | 47 * Numerous Fixes based on running Coverity
|
| /openbmc/qemu/ |
| H A D | MAINTAINERS | 2961 Coverity model
2964 F: scripts/coverity-model.c
2966 Coverity Scan integration
2969 F: scripts/coverity-scan/
|
| H A D | qemu-io-cmds.c | 101 * Coverity thinks that blk may be NULL in the following if condition. It's in command()
106 * Coverity: in command()
|
| /openbmc/linux/drivers/staging/media/atomisp/i2c/ |
| H A D | atomisp-mt9m114.c | 1551 /* Coverity CID 298095 - return on error */ in mt9m114_probe()
|
| /openbmc/qemu/target/i386/kvm/ |
| H A D | xen-emu.c | 1929 * This locking is fairly pointless, and is here to appease Coverity. in kvm_get_xen_state()
|