|
Verified exec uses the namei interface. The namei interface is used to convert pathnames to file system vnodes. The namei interface contains a function named NDINIT, which initialises a nameidata structure pointed to by ndp for use by the namei interface. The NDINIT function fails to use UIO_SYSSPACE. As a result, characters are copied from a user address rather than a kernel address.
Specifically, in the verifiedexecioctl() function in sys/dev/verified_exec.c, UIO_USERSPACE should have been UIO_SYSSPACE.
|