1 files changed, 58 insertions, 0 deletions
diff --git a/kernel/kubsan.c b/kernel/kubsan.c
new file mode 100644
index 0000000..c81b3fc
--- /dev/null
+++ b/kernel/kubsan.c
@@ -0,0 +1,58 @@
+#include <kubsan.h>
+#include <log.h>
+#include <stdio.h>
+
+void ubsan_log(const char *cause, struct source_location source) {
+  kprintf("%s: %s : %d\n", cause, source.file_name, source.line);
+  dump_backtrace(5);
+  asm("cli");
+  asm volatile("1: jmp 1b");
+  asm("hlt");
+  for (;;)
+    ;
+}
+
+void __ubsan_handle_shift_out_of_bounds(struct ShiftOutOfBoundsData *data,
+                                        unsigned long lhs, unsigned long rhs) {
+  (void)lhs;
+  (void)rhs;
+  ubsan_log("handle_shift_out_of_bounds", data->location);
+}
+
+void __ubsan_handle_add_overflow(struct OverflowData *data, unsigned long lhs,
+                                 unsigned long rhs) {
+  (void)lhs;
+  (void)rhs;
+  ubsan_log("handle_add_overflow", data->location);
+}
+
+void __ubsan_handle_sub_overflow(struct OverflowData *data, unsigned long lhs,
+                                 unsigned long rhs) {
+  (void)lhs;
+  (void)rhs;
+  ubsan_log("handle_sub_overflow", data->location);
+}
+
+void __ubsan_handle_mul_overflow(struct OverflowData *data, unsigned long lhs,
+                                 unsigned long rhs) {
+  (void)lhs;
+  (void)rhs;
+  ubsan_log("handle_mul_overflow", data->location);
+}
+
+void __ubsan_handle_out_of_bounds(struct OutOfBoundsData *data, void *index) {
+  (void)index;
+  ubsan_log("handle_out_of_bounds", data->location);
+}
+
+void __ubsan_handle_pointer_overflow(struct OutOfBoundsData *data,
+                                     void *index) {
+  (void)index;
+  ubsan_log("handle_pointer_overflow", data->location);
+}
+
+void __ubsan_handle_vla_bound_not_positive(struct OutOfBoundsData *data,
+                                     void *index) {
+  (void)index;
+  ubsan_log("handle_vla_bound_not_positive", data->location);
+}