Skip to content

Conversation

@de-nordic
Copy link
Contributor

@de-nordic de-nordic commented Jul 22, 2025

All functions area using is_in_flash_area_bounds for checking parameters; the function was not immune to integer overflow.
The PR fixes the function and adds test scenario for overflows.

Fixes #89514

Prevent possible overflow in is_in_flash_area_bounds while
validating offset and length of an operation.

Fixes #89349

Signed-off-by: Dominik Ermel <[email protected]>
(cherry picked from commit 3d4b427)
Test integer overflow on Flash Area operation parameters.
All functions call the same is_in_flash_area_bounds
function for parameter verification, so it was enough
to test parameter checks of flash_read.

Signed-off-by: Dominik Ermel <[email protected]>
(cherry picked from commit 71a329f)
@zephyrbot zephyrbot added the area: Storage Storage subsystem label Jul 22, 2025
@JarmouniA
Copy link
Contributor

Zephyr 4.0 branch is EOL

@de-nordic
Copy link
Contributor Author

Zephyr 4.0 branch is EOL

OK, so the Backport issue can be closed?

@de-nordic de-nordic closed this Jul 22, 2025
@sonarqubecloud
Copy link

@JarmouniA JarmouniA deleted the backport-89351-to-v4.0-branch branch July 22, 2025 12:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: Storage Storage subsystem

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants