Load-time synthesis and patching of kernel module ELF and kexec PE

[sangho2]

Both ELF and PE loaders synthesize and patch binaries while loading them. This prevents us from faithfully validating whether loaded binary segments are correct.