[ARTEMIS-4706] TAINTED_INT.LOOP.MIGHT possible loop freeze

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Not A Bug
• Affects Version/s: 2.25.0
• Assignee: Unassigned
• Reporter: Andrey Slepykh
• Created: 30/Mar/24 09:17
• Updated: 20/Apr/24 04:54
• Resolved: 20/Apr/24 04:54

Description

Line 60 declares a loop based on the "iterationsCount" variable. But the variable is checked only for the minimum value and is not checked in any way for the maximum, which can lead to a large computational load for the program

Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
Author: Firsov Vladimir, BMSTU ([e-mail])