[Ksummit-discuss] [CORE TOPIC] More useful types in the linux kernel
Michael S. Tsirkin
mst at redhat.com
Fri Aug 12 04:42:11 UTC 2016
On Tue, Jul 19, 2016 at 10:32:51AM -0500, Eric W. Biederman wrote:
> I would really like to get a feel among kernel maintainers and
> developers if this is something that is interesting, and what kind of
> constraints they think something like this would need to be usable for
> the kernel?
>
> Eric
Surprised that no one mentioned this yet - I think tagging
integers/structs as coming from userspace could be useful,
if we can teach e.g. smatch that access to a kernel
pointer through this offset might fault.
--
MST
More information about the Ksummit-discuss
mailing list