For the past week, I was working on a simplistic kernel module that creates a character device driver that allows the passing of messages between user and kernel space.
All good and nice, I found KEDR (https://github.com/euspectre/kedr) and I can now detect memory leaks.
However, the question stands: Is there a way to detect out of bounds accesses and any other errors such as Uninitialized Memory etc? In userspace programs, we might sometimes see a segfault, or we can use valgrind to try and detect most of these errors.
I tried to artificially write out of the bounds of an array and the OS does not complain.