From afa00abb2b68205bee539d7947130d6b1b1ec6e9 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 1 Apr 2021 19:39:14 +0200
Subject: Hardened entire system

By using the nonnull attribute and replace buffer-overflow-prone
functions like strcpy, strcat and sprintf by strlcpy, strlcat and
snprintf.
---
 kernel/inc/proc.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'kernel/inc/proc.h')

diff --git a/kernel/inc/proc.h b/kernel/inc/proc.h
index 71d1284..8a68131 100644
--- a/kernel/inc/proc.h
+++ b/kernel/inc/proc.h
@@ -61,18 +61,18 @@ struct proc {
 	struct list *memory;
 };
 
-void scheduler(struct regs *regs);
+void scheduler(struct regs *regs) NONNULL;
 void proc_init(void);
 void proc_print(void);
 struct proc *proc_current(void);
 u8 proc_super(void);
 struct proc *proc_from_pid(u32 pid);
-void proc_exit(struct proc *proc, s32 status);
-void proc_yield(struct regs *r);
+void proc_exit(struct proc *proc, s32 status) NONNULL;
+void proc_yield(struct regs *r) NONNULL;
 void proc_clear_quantum(void);
 void proc_enable_waiting(u32 id, enum proc_wait_type type);
 void proc_wait_for(u32 id, enum proc_wait_type type, u32 func_ptr);
 struct proc *proc_make(enum proc_priv priv);
-void proc_stack_push(struct proc *proc, u32 data);
+void proc_stack_push(struct proc *proc, u32 data) NONNULL;
 
 #endif
-- 
cgit v1.2.3