feat: update counter logic and fuzz tests

Author: vasilievsv

src/ascii_counter.c

@@ -116,15 +116,6 @@ int ascii_validate_token(char h_symbol, char l_symbol, int* cnt)
     if(ASCII_IS_ALPHA(l_symbol) || l_symbol == '0')
         return ASCII_ERROR;
 
-    if (ASCII_IS_NUMERIC(h_symbol) && ASCII_IS_NUMERIC(l_symbol))
-        return ASCII_ERROR;
-
-    if (ASCII_IS_ALPHA(h_symbol) && ASCII_IS_ALPHA(l_symbol))
-        return ASCII_ERROR;
-
-    if (ASCII_IS_NUMERIC(h_symbol) && ASCII_IS_ALPHA(l_symbol))
-        return ASCII_ERROR;
-
     return ASCII_OK;
 }
 

src/ascii_counter.h

@@ -15,7 +15,7 @@
 #define ASCII_ERROR_MISS_DELIMETR      -5
 #define ASCII_ERROR_MAX_SIZE           -6
 
-#define ASCII_MAX_SIZE 10*2
+#define ASCII_MAX_SIZE (10*2)
 
 #define ASCII_IS_DELIMITER(_x) (_x == '-')
 #define ASCII_IS_NUMERIC(_x) (_x >= '0' && _x <= '9')

tests/CMakeLists.txt

@@ -1,6 +1,7 @@
 set(TESTS
     error_sequence
-    good_sequence)
+    good_sequence
+    fuzz_sequence)
 
 foreach(fname ${TESTS})
     add_executable(test_${fname} test_${fname}.c)

tests/test_fuzz_sequence.c

@@ -12,10 +12,50 @@ MU_TEST(test_fuzz_data) {
     mu_check(buff == NULL);
 }
 
+MU_TEST(test_fuzz_boundary) {
+
+    buff = ascii_parse("A1", &rc);
+    mu_check(rc < 0);
+    mu_check(buff == NULL);
+
+    buff = ascii_parse("B0", &rc);
+    mu_check(rc < 0);
+    mu_check(buff == NULL);
+
+    buff = ascii_parse("-B1", &rc);
+    mu_check(rc < 0);
+    mu_check(buff == NULL);
+
+    buff = ascii_parse("B1-", &rc);
+    mu_check(rc < 0);
+    mu_check(buff == NULL);
+
+    buff = ascii_parse("ZZ", &rc);
+    mu_check(rc < 0);
+    mu_check(buff == NULL);
+
+    buff = ascii_parse("11", &rc);
+    mu_check(rc < 0);
+    mu_check(buff == NULL);
+}
+
+MU_TEST(test_fuzz_overflow) {
+
+    buff = ascii_parse("B1-B1-B1-B1-B1-B1-B1-B1-B1-B1-B1", &rc);
+    mu_check(rc < 0);
+    mu_check(buff == NULL);
+
+    buff = ascii_parse("F1G", &rc);
+    mu_check(rc < 0);
+    mu_check(buff == NULL);
+}
+
 
 int main()
 {
     MU_RUN_TEST(test_fuzz_data);
+    MU_RUN_TEST(test_fuzz_boundary);
+    MU_RUN_TEST(test_fuzz_overflow);
     MU_REPORT();
     return MU_EXIT_CODE;
-}
+}