Add CFG test with more node details.

rizinorg · Feb 9, 2024 · b616428 · b616428
1 parent aa18b2a
commit b616428
Show file tree

Hide file tree

Showing 2 changed files with 39 additions and 0 deletions.
diff --git a/elf/analysis/x86_cfg_node_details_test b/elf/analysis/x86_cfg_node_details_test
diff --git a/src/graphs/cfg_node_details_test.c b/src/graphs/cfg_node_details_test.c
@@ -0,0 +1,39 @@
+// SPDX-FileCopyrightText: 2023 Rot127 <[email protected]>
+// SPDX-License-Identifier: LGPL-3.0-only
+
+/**
+ * \file Tests for CFG generation.
+ */
+
+#include <stdbool.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+typedef struct {
+  void (*fcn_a)();
+  void (*fcn_b)();
+} Dummy;
+
+void endless() {
+endless:
+  goto endless;
+}
+
+void print_something() { printf("something"); }
+
+int main() {
+  unsigned int a = rand();
+  Dummy d = {
+    .fcn_a = endless,
+    .fcn_b = print_something,
+  };
+  if (a == 0xdead) {
+    // Bad luck
+    d.fcn_a();
+  } else if (a == 0xc0ffee) {
+    abort();
+  } else {
+    d.fcn_b();
+  }
+  return a;
+}