You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
qemu/hw/timer
Dmitry Frolov c5d36da7ec hw/timer/exynos4210_mct: fix possible int overflow
The product "icnto * s->tcntb" may overflow uint32_t.

Found by Linux Verification Center (linuxtesting.org) with SVACE.

Signed-off-by: Dmitry Frolov <frolov@swemel.ru>
Message-id: 20241106083801.219578-2-frolov@swemel.ru
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
2 weeks ago
..
Kconfig hw/arm: Remove STRONGARM->PXA2XX dependency 2 months ago
a9gtimer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
allwinner-a10-pit.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
arm_mptimer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
arm_timer.c hw/timer: Constify VMState 11 months ago
armv7m_systick.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
aspeed_timer.c hw/timer/aspeed: Fix interrupt status does not be cleared for AST2600 1 month ago
avr_timer16.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
bcm2835_systmr.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
cadence_ttc.c hw/timer: Constify VMState 11 months ago
cmsdk-apb-dualtimer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
cmsdk-apb-timer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
digic-timer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
exynos4210_mct.c hw/timer/exynos4210_mct: fix possible int overflow 2 weeks ago
exynos4210_pwm.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
grlib_gptimer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
hpet.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
i8254.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
i8254_common.c hw/timer: Constify VMState 11 months ago
ibex_timer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
imx_epit.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
imx_gpt.c hw/timer/imx_gpt: Convert DPRINTF to trace events 4 weeks ago
meson.build hw/timer: Remove omap_synctimer 2 months ago
mips_gictimer.c hw: Do not include hw/sysbus.h if it is not necessary 4 years ago
mss-timer.c hw/timer: Constify VMState 11 months ago
npcm7xx_timer.c hw, target: Add ResetType argument to hold and exit phase methods 7 months ago
nrf51_timer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
pxa2xx_timer.c hw/timer: Remove pxa27x-timer 2 months ago
renesas_cmt.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
renesas_tmr.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
sh_timer.c ptimer: Rename PTIMER_POLICY_DEFAULT to PTIMER_POLICY_LEGACY 3 years ago
sifive_pwm.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
slavio_timer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
sse-counter.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
sse-timer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
stellaris-gptm.c hw/timer: Constify VMState 11 months ago
stm32f2xx_timer.c hw: Use device_class_set_legacy_reset() instead of opencoding 3 months ago
trace-events hw/timer/imx_gpt: Convert DPRINTF to trace events 4 weeks ago
trace.h trace: switch position of headers to what Meson requires 4 years ago
xilinx_timer.c hw/timer/xilinx_timer: Use XpsTimerState instead of 'struct timerblock' 2 years ago