diff --git a/tests/regression/74-invalid_deref/08-memset-memcpy-array.t b/tests/regression/74-invalid_deref/08-memset-memcpy-array.t index a30a703a97..c776bfe3bd 100644 --- a/tests/regression/74-invalid_deref/08-memset-memcpy-array.t +++ b/tests/regression/74-invalid_deref/08-memset-memcpy-array.t @@ -20,10 +20,10 @@ [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer argv in expression argv + 5 is top. Memory out-of-bounds access might occur (08-memset-memcpy-array.c:29:16-29:27) [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of (void *)b in function memset is 4 (in bytes) with an address offset of 0 (in bytes). Count is 168 (in bytes). Memory out-of-bounds access must occur (08-memset-memcpy-array.c:32:9-32:26) [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of (void * __restrict )b in function memcpy is 4 (in bytes) with an address offset of 0 (in bytes). Count is 168 (in bytes). Memory out-of-bounds access must occur (08-memset-memcpy-array.c:33:9-33:26) - [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168]) with address offset (0) count (168) in function memset. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:36:5-36:30) - [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168]) with address offset (0) count (168) in function memcpy. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:37:5-37:30) - [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168]) with address offset (0) count (5) in function memset. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:40:5-40:34) - [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168]) with address offset (0) count (5) in function memcpy. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:41:5-41:34) + [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168])) with address offset (0) count (168) in function memset. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:36:5-36:30) + [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168])) with address offset (0) count (168) in function memcpy. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:37:5-37:30) + [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168])) with address offset (0) count (5) in function memset. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:40:5-40:34) + [Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of dest ((Not {0}([0,8]),[4,168])) with address offset (0) count (5) in function memcpy. Memory out-of-bounds access may occur (08-memset-memcpy-array.c:41:5-41:34) [Info][Deadcode] Logical lines of code (LLoC) summary: live: 27 dead: 0