This is really a problem in some conditions,
in StMichael_syscall_delete_module, you use name "as
is" but you must use the get_mod_name function to avoid
craps and being discovered / remove.
So at the begining of your syscall, just add a call to
get_mod_name and made the rest with the getted value.
I didn't check all the others part of the module, but
not doing this is clealy a big problem because you
remove a module delete_module find it and then it is
not remove from the module_list (in Stm) so It's
detecting a covert try and kill the kernel :(.
Hope that somebody read this one day :)
Contact : same as the previous bug reports :)