PVS-Studio Analysis Results


Date:Wed Sep 24 10:28:03 2025
PVS-Studio Version:7.38.97034.608
Command Line:plog-converter -a GA\:1,2,3 -t fullhtml --indicate-warnings build/f7-firmware-DC/pvsreport.log -o build/f7-firmware-DC/pvsreport
Total Warnings (GA):59
Group Location Level Code Message
General Analysis bt_test.c:21 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis bt_test.c:21 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis infrared_brute_force.c:10 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis infrared_brute_force.c:10 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis mfkey32_logger.c:24 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis mfkey32_logger.c:24 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis nfc_supported_cards.c:32 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis nfc_supported_cards.c:32 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis onewire_cli.c:28 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis subghz_frequency_analyzer_log_item_array.h:38 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis subghz_frequency_analyzer_log_item_array.h:38 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis subghz_history.c:19 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis subghz_history.c:19 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis receiver.c:21 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis receiver.c:21 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis bubble_animation_view.c:101 High V609 Mod by zero. Denominator range [0..255].
General Analysis canvas_i.h:32 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis canvas_i.h:32 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis elements.c:857 High V781 The value of the 'j' index is checked after it was used. Perhaps there is a mistake in program logic.
General Analysis button_menu.c:27 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis button_menu.c:27 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis button_panel.c:101 High V621 Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
General Analysis file_browser_worker.c:35 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis file_browser_worker.c:35 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis file_browser_worker.c:36 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis file_browser_worker.c:36 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis menu.c:20 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis menu.c:20 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis variable_item_list.c:17 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis variable_item_list.c:17 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis widget_element_text_scroll.c:13 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis widget_element_text_scroll.c:13 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis scene_manager_i.h:11 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis scene_manager_i.h:11 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis loader.c:847 High V595 The 'message.start.name' pointer was utilized before it was verified against nullptr. Check lines: 847, 850.
General Analysis rpc_storage.c:296 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis rpc_system.c:33 Low V1048 The 'response.command_status' variable was assigned the same value.
General Analysis desktop_settings_scene_favorite.c:79 High V784 The size of the bit mask is less than the size of the first operand. This will cause the loss of higher bits.
General Analysis desktop_settings_scene_favorite.c:185 High V784 The size of the bit mask is less than the size of the first operand. This will cause the loss of higher bits.
General Analysis js_modules.c:30 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis js_modules.c:30 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis js_serial.c:23 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis js_serial.c:23 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis lp5562.c:195 High V609 Divide by zero. Denominator range [0..255].
General Analysis music_worker.c:29 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis music_worker.c:29 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis printf_tiny.c:653 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis bin_raw.c:574 Medium V784 The size of the bit mask is less than the size of the first operand. This will cause the loss of higher bits.
General Analysis bin_raw.c:458 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis receiver.c:11 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis receiver.c:11 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis subghz_keystore.h:17 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis subghz_keystore.h:17 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis subghz_setting.c:166 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis subghz_setting.c:166 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis cli_shell_completions.c:3 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k < 2 * th' expression.
General Analysis cli_shell_completions.c:3 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'size - k <= 3 * th' expression.
General Analysis strint.c:83 Low V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '>' comparison operation can potentially behave unexpectedly. Consider inspecting the 'result > limit - digit_value' expression.
General Analysis stm32wb55_startup.c:71 Medium V784 The size of the bit mask is less than the size of the first operand. This will cause the loss of higher bits.