I mean that the Linux kernel memory allocation behaviour was tested. Yes, drivers and modules - and userspace apps - all undergo their own testing, but to be clear I was referring to the memory allocation and management subsystem.

Of course there are other rules that factor in here too - in safety critical, you don't use malloc() much.