Content: server, vscode plugin, integration tests

Author: Dmitry Ivanov

integration-tests/c-example/.gitignore

@@ -0,0 +1,4 @@
+.vscode/
+build/
+tests/
+utbot-tests/

integration-tests/c-example/CMakeLists.txt

@@ -0,0 +1,14 @@
+cmake_minimum_required(VERSION 3.16)
+project(c-example)
+
+set(CMAKE_C_STANDARD 11)
+set(CMAKE_CXX_STANDARD 17)
+set(CMAKE_CXX_STANDARD_REQUIRED ON)
+set(CMAKE_C_STANDARD_REQUIRED ON)
+
+# required!
+set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
+set(CMAKE_EXPORT_LINK_COMMANDS ON)
+
+add_subdirectory(lib)
+add_subdirectory(src)

integration-tests/c-example/lib/CMakeLists.txt

@@ -0,0 +1,4 @@
+add_library(lib)
+target_include_directories(lib PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
+file(GLOB_RECURSE ALL_SOURCES "*.c" "*.h")
+target_sources(lib PRIVATE ${ALL_SOURCES})

integration-tests/c-example/lib/alignment.c

@@ -0,0 +1,7 @@
+/*
+ * Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
+ */
+
+char *passthrough(__attribute__((align_value(0x8000))) char *x) {
+  return x;
+}

integration-tests/c-example/lib/assertion_failures.c

@@ -0,0 +1,27 @@
+/*
+ * Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
+ */
+
+#include "assertion_failures.h"
+
+int buggy_function1(int a, int b) {
+    if (a > b) {
+        assert(a != 42);
+        return a;
+    }
+    else {
+        return b;
+    }
+}
+
+int buggy_function2(int a) {
+    assert(a == 7);
+    assert(a < 7);
+    return a;
+}
+
+int buggy_function3(int a, int b) {
+    assert(a < 1);
+    assert(a < 10); // Can't generate test that fails assertion since if a >= 10 then the first assertion fails
+    return a;
+}

integration-tests/c-example/lib/assertion_failures.h

@@ -0,0 +1,14 @@
+/*
+ * Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
+ */
+
+#ifndef SIMPLE_TEST_PROJECT_SRC_ASSERT_FAIL_H
+#define SIMPLE_TEST_PROJECT_SRC_ASSERT_FAIL_H
+
+#include "assert.h"
+
+int buggy_function1(int a, int b);
+int buggy_function2(int a);
+int buggy_function3(int a, int b);
+
+#endif //UNITTESTBOT_SRC_ASSERT_FAIL_H

integration-tests/c-example/lib/basic_functions.c

@@ -0,0 +1,41 @@
+/*
+ * Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
+ */
+
+#include "basic_functions.h"
+
+int max_(int a, int b) {
+  if (a > b) {
+    return a;
+  } else {
+    return b;
+  }
+}
+
+int min(int a, int b) {
+  if (a < b) {
+    return a;
+  } else {
+    return b;
+  }
+}
+
+int sqr_positive(int a) {
+  if (a < 0) {
+    return -1;
+  } else {
+    return a * a;
+  }
+}
+
+int simple_loop(unsigned int n) {
+  int i = 0;
+  while (i < n) {
+    i = i + 1;
+    if (n % i == 37)
+      return 1;
+    else if (i == 50)
+      return 2;
+  }
+  return 0;
+}

integration-tests/c-example/lib/basic_functions.h

@@ -0,0 +1,13 @@
+/*
+ * Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
+ */
+
+#ifndef SIMPLE_TEST_PROJECT_BASIC_FUNCTIONS_H
+#define SIMPLE_TEST_PROJECT_BASIC_FUNCTIONS_H
+
+int max_(int a, int b);
+int min(int a, int b);
+int sqr_positive(int a);
+int simple_loop(unsigned int n);
+
+#endif //SIMPLE_TEST_PROJECT_BASIC_FUNCTIONS_H

integration-tests/c-example/lib/bits.c

@@ -0,0 +1,40 @@
+/*
+ * Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
+ */
+
+#include "bits.h"
+
+UINT32 NSE_BITS_CLZ64(UINT64 uiiData)
+{
+    UINT64 uiiMask;
+    UINT64 i;
+    UINT32 zeroCnt;
+
+    zeroCnt = 0;
+    uiiMask = 0x8000000000000000U;
+    for (i = 0; i < 64; i++) {
+        if ((uiiData & uiiMask) == 0) {
+            zeroCnt++;
+            uiiMask >>= 1;
+            continue;
+        }
+        break;
+    }
+
+    return zeroCnt;
+}
+
+UINT32 foo1(const FOO_ATTRIBUTE *attrib, UINT32 num, UINT32 id, UINT32 *offset, UINT32 *len)
+{
+    UINT32 i;
+
+    for (i = 0; i < num; i++) {
+        if (id == attrib[i].id) {
+            *offset = attrib[i].offset;
+            *len = attrib[i].len;
+            return VOS_OK;
+        }
+    }
+
+    return VOS_ERR;
+}

integration-tests/c-example/lib/bits.h

@@ -0,0 +1,24 @@
+/*
+ * Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
+ */
+
+#ifndef UINT64
+#define UINT64 unsigned long long
+#endif 
+
+#ifndef UINT32
+#define UINT32 unsigned int
+#endif
+
+#define VOS_ERR 1
+#define VOS_OK  0
+
+typedef struct tagFOO_ATTRIBUTE {
+    UINT32 offset;
+    UINT32 len;
+    UINT32 id;
+} FOO_ATTRIBUTE;
+
+UINT32 NSE_BITS_CLZ64(UINT64 uiiData);
+
+UINT32 foo1(const FOO_ATTRIBUTE *attrib, UINT32 num, UINT32 id, UINT32 *offset, UINT32 *len);