Merge pull request #1215 from smackers/seed-more-aws-bugs

Seed more aws bugs
sosy-lab · Nov 9, 2020 · 64b907c · 64b907c
2 parents 25d9487 + b3e52aa
commit 64b907c
Show file tree

Hide file tree

Showing 13 changed files with 53,374 additions and 1 deletion.
diff --git a/c/aws-c-common/aws_array_eq_c_str_harness-1.i b/c/aws-c-common/aws_array_eq_c_str_harness-1.i
@@ -7891,7 +7891,7 @@ _Bool
     const uint8_t *array_bytes = array;
     const uint8_t *str_bytes = (const uint8_t *)c_str;
 
-    for (size_t i = 0; i < array_len - 1; ++i) {
+    for (size_t i = 0; i < array_len - 1; ++i) { // introduced off-by-one bug
         uint8_t s = str_bytes[i];
         if (s == '\0') {
             return