add strcmp() wrapper

Author: tiedaoxiaotubie

runtime/LibcWrappers.cpp

@@ -385,4 +385,29 @@ int SYM(memcmp)(const void *a, const void *b, size_t n) {
                             reinterpret_cast<uintptr_t>(SYM(memcmp)));
   return result;
 }
+
+int SYM(strcmp)(const char *a, const char *b) {
+    tryAlternative(a, _sym_get_parameter_expression(0), SYM(strcmp));
+    tryAlternative(b, _sym_get_parameter_expression(1), SYM(strcmp));
+
+    auto result = strcmp(a, b);
+    _sym_set_return_expression(nullptr);
+
+    if (isConcrete(a, strlen(a)) && isConcrete(b, strlen(b)))
+        return result;
+
+    auto aShadowIt = ReadOnlyShadow(a, strlen(a)).begin_non_null();
+    auto bShadowIt = ReadOnlyShadow(b, strlen(b)).begin_non_null();
+    auto *allEqual = _sym_build_equal(*aShadowIt, *bShadowIt);
+    for (size_t i = 1; i < strlen(a); i++) {
+        ++aShadowIt;
+        ++bShadowIt;
+        allEqual =
+                _sym_build_bool_and(allEqual, _sym_build_equal(*aShadowIt, *bShadowIt));
+    }
+
+    _sym_push_path_constraint(allEqual, result == 0,
+                              reinterpret_cast<uintptr_t>(SYM(strcmp)));
+    return result;
+}
 }

runtime/test_wrappers/test_strcmp.c

@@ -0,0 +1,26 @@
+#include <stdio.h>
+#include <string.h>
+#include <stdarg.h>
+#include <stdlib.h>
+#include <stdint.h>
+#include <unistd.h>
+int main(int argc, char *argv[]) {
+
+  char    buf[1024];
+  ssize_t i;
+  if ((i = read(0, buf, sizeof(buf) - 1)) < 24) return 0;
+  buf[i] = 0;
+  if (buf[0] != 'A') return 0;
+  if (buf[1] != 'B') return 0;
+  if (buf[2] != 'C') return 0;
+  if (buf[3] != 'D') return 0;
+  if (memcmp(buf + 4, "1234", 4) || memcmp(buf + 8, "EFGH", 4)) return 0;
+  if (strcmp(buf + 12, "AAAA") == 0) {
+    printf("HIT!\n");
+  } else {
+    printf("NOT HIT!\n");
+  }
+
+  return 0;
+
+}