bartoszek/zephyr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tests: flash_map: Basic offset/length overflow tests

Browse Source 
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 <dominik.ermel@nordicsemi.no>
This commit is contained in:
Dominik Ermel 2025-04-30 18:43:49 +00:00 committed by Benjamin Cabé
parent 3d4b427245
commit 71a329fbb0
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
tests/subsys/storage/flash_map/src/main.c
View File

@ -256,4 +256,24 @@ ZTEST(flash_map, test_flash_area_copy)
zassert_mem_equal(src_buf, dst_buf, sizeof(src_buf), "Data mismatch after copy");
}
ZTEST(flash_map, test_parameter_overflows)
{
const struct flash_area *fa;
uint8_t dst_buf[FLASH_AREA_COPY_SIZE];
int rc;
fa = FIXED_PARTITION(SLOT1_PARTITION);
/* -1 cast to size_t gives us max size_t value, added to offset of 1,
* it will overflow to 0.
*/
rc = flash_area_read(fa, 1, dst_buf, (size_t)(-1));
zassert_equal(rc, -EINVAL, "1: Overflow should have been detected");
/* Here we have offset 1 below size of area, with added max size_t
* it upper bound of read range should overflow to:
* (max(size_t) + fa->fa_size - 1) mod (max(size_t)) == fa->fa_size - 2
*/
rc = flash_area_read(fa, fa->fa_size - 1, dst_buf, (size_t)(-1));
zassert_equal(rc, -EINVAL, "2: Overflow should have been detected");
}
ZTEST_SUITE(flash_map, NULL, NULL, NULL, NULL, NULL);