1 files changed, 40 insertions, 0 deletions
diff --git a/src/libSystem/SystemKit/Verify.h b/src/libSystem/SystemKit/Verify.h
new file mode 100644
index 00000000..7d15435a
--- /dev/null
+++ b/src/libSystem/SystemKit/Verify.h
@@ -0,0 +1,40 @@
+/* ========================================
+
+   Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
+
+   File: Verify.h
+   Purpose: System Call Interface Verification Layer.
+
+   ======================================== */
+
+#pragma once
+
+#include <libSystem/SystemKit/System.h>
+
+namespace LibSystem::Verify {
+/// @author 0xf00sec, and Amlal El Mahrouss
+/// @brief safe cast operator.
+template <typename T, typename R = VoidPtr>
+inline R sys_safe_cast(const T* ptr) {
+  _rtl_assert(ptr, "safe cast failed!");
+  return static_cast<R>(const_cast<T*>(ptr));
+}
+
+template <typename T, typename U>
+struct must_cast_traits {
+  constexpr static BOOL value = false;
+};
+
+template <typename T>
+struct must_cast_traits<T, T> {
+  constexpr static BOOL value = true;
+};
+
+/// @author Amlal El Mahrouss
+/// @brief Safe constexpr cast.
+template <typename T, typename R>
+inline constexpr R* sys_constexpr_cast(T* ptr) {
+  static_assert(must_cast_traits<T, R>::value, "constexpr cast failed! types are mismatching!");
+  return static_cast<R*>(ptr);
+}
+}  // namespace LibSystem::Verify