diff options
| author | jvoisin | 2023-12-27 17:07:32 +0100 |
|---|---|---|
| committer | Julien Voisin | 2023-12-28 16:13:37 +0100 |
| commit | 22a8094b41b2606084dc0c0c70487e5ed0fcb652 (patch) | |
| tree | f4499d34e006bdc4a762af7f407e87a1080fc3ee /tests | |
| parent | f3c0bfdb96ec00aaefdb75024059aa33895726c5 (diff) | |
Re-enable previously disabled overlap checks
They were previously disabled in 80a83a5
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/test_stpncpy_dynamic_write.c | 5 | ||||
| -rw-r--r-- | tests/test_stpncpy_overwrite_over.c | 5 | ||||
| -rw-r--r-- | tests/test_stpncpy_overwrite_under.c | 10 | ||||
| -rw-r--r-- | tests/test_strncpy_overwrite_over.c | 13 | ||||
| -rw-r--r-- | tests/test_strncpy_overwrite_under.c | 2 |
5 files changed, 21 insertions, 14 deletions
diff --git a/tests/test_stpncpy_dynamic_write.c b/tests/test_stpncpy_dynamic_write.c index 8fbfe7e..14f6fd9 100644 --- a/tests/test_stpncpy_dynamic_write.c +++ b/tests/test_stpncpy_dynamic_write.c | |||
| @@ -3,8 +3,9 @@ | |||
| 3 | #include <string.h> | 3 | #include <string.h> |
| 4 | 4 | ||
| 5 | int main(int argc, char** argv) { | 5 | int main(int argc, char** argv) { |
| 6 | char buffer[8] = {0}; | 6 | char buffer[] = {'A', 'B', 'C', 'D', 'E', 'F', '\0'}; |
| 7 | stpncpy(buffer, "1234567", 5); | 7 | |
| 8 | stpncpy(buffer, "1234567", 3); | ||
| 8 | puts(buffer); | 9 | puts(buffer); |
| 9 | 10 | ||
| 10 | CHK_FAIL_START | 11 | CHK_FAIL_START |
diff --git a/tests/test_stpncpy_overwrite_over.c b/tests/test_stpncpy_overwrite_over.c index 004e2b8..21c88ce 100644 --- a/tests/test_stpncpy_overwrite_over.c +++ b/tests/test_stpncpy_overwrite_over.c | |||
| @@ -3,15 +3,16 @@ | |||
| 3 | #include <string.h> | 3 | #include <string.h> |
| 4 | 4 | ||
| 5 | int main(int argc, char** argv) { | 5 | int main(int argc, char** argv) { |
| 6 | #if 0 | ||
| 7 | char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; | 6 | char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; |
| 8 | puts(buffer); | 7 | puts(buffer); |
| 9 | 8 | ||
| 9 | stpncpy(buffer, buffer+5, 2); | ||
| 10 | puts(buffer); | ||
| 11 | |||
| 10 | CHK_FAIL_START | 12 | CHK_FAIL_START |
| 11 | stpncpy(buffer+1, buffer, 5); | 13 | stpncpy(buffer+1, buffer, 5); |
| 12 | CHK_FAIL_END | 14 | CHK_FAIL_END |
| 13 | 15 | ||
| 14 | puts(buffer); | 16 | puts(buffer); |
| 15 | #endif | ||
| 16 | return ret; | 17 | return ret; |
| 17 | } | 18 | } |
diff --git a/tests/test_stpncpy_overwrite_under.c b/tests/test_stpncpy_overwrite_under.c index 845ae29..3b435de 100644 --- a/tests/test_stpncpy_overwrite_under.c +++ b/tests/test_stpncpy_overwrite_under.c | |||
| @@ -3,15 +3,17 @@ | |||
| 3 | #include <string.h> | 3 | #include <string.h> |
| 4 | 4 | ||
| 5 | int main(int argc, char** argv) { | 5 | int main(int argc, char** argv) { |
| 6 | #if 0 | ||
| 7 | char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; | 6 | char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; |
| 8 | puts(buffer); | 7 | puts(buffer); |
| 9 | 8 | ||
| 9 | stpncpy(buffer+5, buffer, 2); | ||
| 10 | puts(buffer); | ||
| 11 | |||
| 12 | char buffer2[] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; | ||
| 10 | CHK_FAIL_START | 13 | CHK_FAIL_START |
| 11 | stpncpy(buffer-1, buffer, 5); | 14 | stpncpy(buffer2-1, buffer2, 5); |
| 12 | CHK_FAIL_END | 15 | CHK_FAIL_END |
| 13 | 16 | ||
| 14 | puts(buffer); | 17 | puts(buffer2); |
| 15 | #endif | ||
| 16 | return ret; | 18 | return ret; |
| 17 | } | 19 | } |
diff --git a/tests/test_strncpy_overwrite_over.c b/tests/test_strncpy_overwrite_over.c index 94b6d2b..d99d270 100644 --- a/tests/test_strncpy_overwrite_over.c +++ b/tests/test_strncpy_overwrite_over.c | |||
| @@ -3,15 +3,20 @@ | |||
| 3 | #include <string.h> | 3 | #include <string.h> |
| 4 | 4 | ||
| 5 | int main(int argc, char** argv) { | 5 | int main(int argc, char** argv) { |
| 6 | #if 0 | ||
| 7 | char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; | 6 | char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; |
| 8 | puts(buffer); | 7 | puts(buffer); |
| 9 | 8 | ||
| 9 | strncpy(buffer, buffer+4, 1); | ||
| 10 | puts(buffer); | ||
| 11 | |||
| 12 | strncpy(buffer+6, buffer, 1); | ||
| 13 | puts(buffer); | ||
| 14 | |||
| 15 | char buffer2[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; | ||
| 10 | CHK_FAIL_START | 16 | CHK_FAIL_START |
| 11 | strncpy(buffer+1, buffer, 5); | 17 | strncpy(buffer2+1, buffer2, 5); |
| 12 | CHK_FAIL_END | 18 | CHK_FAIL_END |
| 13 | 19 | ||
| 14 | puts(buffer); | 20 | puts(buffer2); |
| 15 | #endif | ||
| 16 | return ret; | 21 | return ret; |
| 17 | } | 22 | } |
diff --git a/tests/test_strncpy_overwrite_under.c b/tests/test_strncpy_overwrite_under.c index 8a0a4af..f554b28 100644 --- a/tests/test_strncpy_overwrite_under.c +++ b/tests/test_strncpy_overwrite_under.c | |||
| @@ -3,7 +3,6 @@ | |||
| 3 | #include <string.h> | 3 | #include <string.h> |
| 4 | 4 | ||
| 5 | int main(int argc, char** argv) { | 5 | int main(int argc, char** argv) { |
| 6 | #if 0 | ||
| 7 | char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; | 6 | char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'}; |
| 8 | puts(buffer); | 7 | puts(buffer); |
| 9 | 8 | ||
| @@ -12,6 +11,5 @@ int main(int argc, char** argv) { | |||
| 12 | CHK_FAIL_END | 11 | CHK_FAIL_END |
| 13 | 12 | ||
| 14 | puts(buffer); | 13 | puts(buffer); |
| 15 | #endif | ||
| 16 | return ret; | 14 | return ret; |
| 17 | } | 15 | } |
